1 |
基于多Agent的开放本体服务
|
期刊论文 |
姜丽|刘大有|白岩| |
2 |
A Clause Learning Algorithm Combining Immune Mechanism to Invent Predicate
|
会议论文 |
|
3 |
增量式双边多属性自动协商策略
|
期刊论文 |
刘大有|姜丽|欧阳继红|王鑫禄|王新华| |
4 |
A 1-Local Asymptotic 13/9- Competitive Algorithm for Multicoloring Hexagonal Graphs
|
期刊论文 |
|
5 |
Probabilistic automata for computing with words
|
期刊论文 |
Yongzhi Cao|Lirong Xia|Mingsheng Ying| |
6 |
Supervisory control of fuzzy discrete event systems
|
期刊论文 |
Yongzhi Cao;Mingsheng Ying |
7 |
Application of Qualitative Spatial Reasoning in Computer Games
|
期刊论文 |
王新颖|刘杰|刘大有|王生生| |
8 |
改进的二分法查找
|
期刊论文 |
王海涛;朱洪 |
9 |
基于中间件的Web智能系统集成开发平台研究
|
期刊论文 |
黄晶, 刘大有, 杨博, 闫璞, 王莉丽, 贾海洋| |
10 |
粗集和多关系学习综述
|
期刊论文 |
刘大有|孙成敏|孙舒杨| |
11 |
内点带权值的最小生成树算法
|
期刊论文 |
|
12 |
Finding a Simple Nash Equilibrium
|
期刊论文 |
孙成敏|孙舒杨|刘大有| |
13 |
Qualitative Spatial Representation and Reasoning: A Hierarchical Approach
|
期刊论文 |
Sanjiang Li; Bernhard Nebel |
14 |
A complete classification of topologic al relations using the 9-intersection method
|
期刊论文 |
|
15 |
Non-Metric Multicommodity and Multilevel Facility Location
|
会议论文 |
|
16 |
A Design of Product Configuration Manager Based on Weight Constraint Parameter Value in Manufacture
|
会议论文 |
|
17 |
A New Spatial Algebra for Road Network Moving Objects
|
期刊论文 |
|
18 |
Force-based Incremental Algorithm for Mining Community Structure in Dynamic Network
|
期刊论文 |
Bo Yang;Dayou Liu |
19 |
A 1-Local 13/9-Competitive Algorithm for Multicoloring Hexagonal Graphs
|
会议论文 |
Francis Y.L. Chin;Yong Zhang;Hong Zhu |
20 |
一种能发现重复任务的过程挖掘算法
|
期刊论文 |
于万钧|刘大有|李嘉菲| |
21 |
Advances in Multi-Agent Coordination
|
会议论文 |
姜丽|刘大有| |
22 |
基于数据立方体的属性核计算方法
|
期刊论文 |
刘亚波;刘大有;高滢;齐红 |
23 |
多agent协商研究
|
期刊论文 |
姜丽,刘大有*,白岩,金第 |
24 |
具有动态加权特性的关联规则算法
|
期刊论文 |
欧阳继红,王仲佳,刘大有 |
25 |
一种不确定区域间的方向关系模型
|
期刊论文 |
谢琦,刘大有*,虞强源,陈娟 |
26 |
关于吹雪机问题的改进近似算法
|
期刊论文 |
李建;王海涛;朱洪 |
27 |
含序信息的粗集方法研究
|
期刊论文 |
孙成敏,刘大有*,孙舒杨 |
28 |
Proof search and counter model of positive minimal predicate logic
|
期刊论文 |
|
29 |
Knowledge transformation and fusion in diagnostic systems.
|
期刊论文 |
|
30 |
一种Agent 通信中逻辑意外信息转换方法
|
期刊论文 |
|
31 |
基于模糊集及RCC理论的区域移动模型
|
期刊论文 |
欧阳丹彤|刘大有|欧阳继红| |
32 |
A Novel Method of Model-based Diagnosis by Propagating Failure Value
|
期刊论文 |
|
33 |
基于模型检测的实时模型诊断方法
|
期刊论文 |
廉智超;欧阳丹彤 |
34 |
Improved Algorithm For Continuous Moving Objects Queries
|
会议论文 |
王生生|刘大有|虞强源|王新颖| |
35 |
Traversing the Maching Graph
|
会议论文 |
|
36 |
The Existence of Quantum Entanglement Catalysts
|
期刊论文 |
|
37 |
Nonmetric Multicommodity Facility Location and k-Median problem with service installation costs
|
会议论文 |
|
38 |
Decidability of weak bisimilarity for a subset of BPA.
|
会议论文 |
|
39 |
基于免疫进化算法的Bayesian网结构学习算法
|
期刊论文 |
|
40 |
基于双边协商的一对多协商协议
|
期刊论文 |
姜丽, 刘大有, 欧阳继红, 王鑫禄| |
41 |
二人博弈问题中单一纳什均衡的搜索算法
|
期刊论文 |
刘大有|孙成敏|孙舒杨| |
42 |
Analysis and Optimization for Mobile Agent Communication
|
期刊论文 |
杨博|刘大有| |
43 |
Studies on Some Details of Algorithm IGRS
|
会议论文 |
孙舒杨|孙成敏|刘大有| |
44 |
Deciding Bisimilarity of Full BPA Processes Locally.
|
会议论文 |
|
45 |
可用于诊断产生的计算碰集的新方法
|
期刊论文 |
赵相福;欧阳丹彤 |
46 |
农业智能系统研究与应用;。
|
奖励 |
|
47 |
RCC5与主方位关系结合的定性空间推理
|
期刊论文 |
谢琦|刘大有|陈娟|张长海| |
48 |
基于J2EE的交互式工作流管理系统
|
期刊论文 |
李嘉菲,刘大有*,于万钧 |
49 |
Approximation Algorithms for Data management in Geometric Network
|
会议论文 |
DongMei Xing |
50 |
An algebra for moving objects
|
期刊论文 |
|
51 |
Catalyst-assisted Probabilistic Entanglement Transformation
|
期刊论文 |
|
52 |
模糊栅格区域的层次拓扑关系模型
|
期刊论文 |
虞强源, 刘大有*, 王生生 |
53 |
Quantum m-out-of-n Oblivious Transfer.
|
会议论文 |
|
54 |
A Model for Representing Topological Relations between Simple Concave Regions
|
会议论文 |
|
55 |
Greedy online frequency allocation in cellular networks
|
期刊论文 |
Ye, Deshi|Zhu, Hong|Zhang, Yong|Chan, Joseph Wun-Tat|Chin, Francis Y. L.| |
56 |
基于后验概率的Markov逻辑网参数学习方法研究
|
期刊论文 |
|
57 |
Analog-Cell: 一种新的电子细胞图形模型
|
期刊论文 |
|
58 |
结合度量空间和时间的逻辑
|
期刊论文 |
吕策|虞强源|谢琦|刘大有| |
59 |
Sequential voting rules and multiple elections paradoxes.
|
会议论文 |
|
60 |
RSILP模型若干问题的研究
|
期刊论文 |
孙舒杨|孙成敏|刘大有| |
61 |
Research of Logistics Transport Costs Computing in Automobile Industry.
|
期刊论文 |
|
62 |
The Regulation of Gene Expression in E-Cell
|
会议论文 |
|
63 |
一种结合SE-tree计算所有极小碰集的方法
|
期刊论文 |
|
64 |
基于MBR的拓扑、方位、尺寸结合的定性空间推理
|
会议论文 |
[11] 陈娟, 刘大有, 贾海洋, 张长海| |
65 |
基于遗传与粒子群算法的Markov逻辑网学习研究
|
期刊论文 |
刘大有|欧阳丹彤|于鹏| |
66 |
统计关系学习模型Markov逻辑网综述
|
期刊论文 |
孙成敏|孙舒杨|刘大有|黄冠利| |
67 |
智能化农业信息系统集成开发平台
|
奖励 |
刘大有;欧阳丹彤;陈桂芬;卢奕南;王生生;杨博;虞强源;贾海洋;黄晶;姜丽;孙成敏;刘亚波 |
68 |
QUALITATIVE SPATIO-TEMPORAL DATABASE
|
会议论文 |
刘大有|王生生|贾海洋|陈娟| |
69 |
农业专家系统研究及应用
|
奖励 |
赵春江;吴泉源;刘大有;王亚东;杨宝祝;钱跃良;刘永泰;胡木强;陆文龙;李光灿 |
70 |
Pi-calculus with noisy channel
|
期刊论文 |
|
71 |
移动agent计算理论和形式化方法研究
|
期刊论文 |
杨博;黄晶;刘大有 |
72 |
一种半监督K均值多关系数据聚类算法
|
期刊论文 |
高滢, 刘大有, 齐红, 刘赫| |
73 |
On minimal models of the Region Connection Calculus
|
期刊论文 |
|
74 |
Linguistic quantifiers modeled by Sugeno integrals
|
期刊论文 |
Ying MS |
75 |
Approximating the minimum weight weak vertex cover
|
期刊论文 |
Zhu, Hong|Zhang, Yong|FLEISCHER, Rudolf|Ge, Qi|Jiang, Tao| |
76 |
Weakly distributive domains(II)
|
期刊论文 |
|
77 |
Unconditional competitive auctions with copy and budget constraints
|
期刊论文 |
|
78 |
Logic of Integrating Metric Space and Time
|
期刊论文 |
|
79 |
Model Composition in Multi-dimensional Data Spaces.
|
会议论文 |
|
80 |
A theory of computation based on quantum logic
|
期刊论文 |
|
81 |
Qualitative Spatial Relation Database for Semantic Web
|
会议论文 |
|
82 |
Weakly distributive domains
|
会议论文 |
Jiang, Ying|Zhang, Guo-Qiang| |
83 |
一种特征加权的聚类算法框架
|
期刊论文 |
高滢;刘大有;徐益 |
84 |
基于图的分解与合并的静态事务调度算法
|
期刊论文 |
幸冬梅 |
85 |
过程挖掘中一种能发现重复任务的扩展α算法
|
期刊论文 |
杨博|刘大有|李嘉菲| |
86 |
Expansive bisimulation for context-free processes.
|
会议论文 |
|
87 |
On-line Diagnosis of Discrete-event Systems: A Hierarchical Approach
|
会议论文 |
|
88 |
时空推理、数据挖掘与决策系统研究及应用
|
奖励 |
刘大有;陈贵芬;欧阳丹彤;王生生;欧阳继红;姚玉霞;虞强源;杨博;谢琦;齐红;于合龙;陈娟;刘亚波;贾海洋;李嘉菲 |
89 |
一类弱支配集问题的近似算法
|
期刊论文 |
幸冬梅 |
90 |
空间聚类在精准农业中的应用
|
期刊论文 |
王生生,刘大有*,刘杰,王新颖 |
91 |
On countable RCC models
|
期刊论文 |
Li SJ;Ying MS;Li YM |
92 |
混合系统基于模型诊断建模问题研究
|
期刊论文 |
赵剑;欧阳丹彤 |
93 |
On the complemented disk algebra
|
期刊论文 |
Li SJ;Li YM |
94 |
Cardinal Direction Relations in 3D Space
|
会议论文 |
|
95 |
Deciding weak bisimilarity of normed context-free processes using tableau.
|
会议论文 |
|
96 |
带测度函数的连通支配集问题
|
期刊论文 |
马俊;朱洪 |
97 |
Design of a CIL Connector to SPIN
|
期刊论文 |
|
98 |
Preprocessing of Spatial Query in Distributed GIS
|
期刊论文 |
|
99 |
Retraction and generalized extension of computing with words
|
期刊论文 |
Yongzhi Cao;Mingsheng Ying;Guoqing Chen |
100 |
一种基于移动代理的自主拍卖模型
|
期刊论文 |
杨博|李丽娜|杨焕|黄晶|刘大有| |
101 |
一种高维空间数据的子空间聚类算法
|
期刊论文 |
王生生;刘大有;曹斌;刘杰 |
102 |
基于用户等级的协同过滤推荐算法
|
期刊论文 |
高滢;齐红;刘亚波;刘大有 |
103 |
动态系统基于模型诊断的研究进展与展望.
|
期刊论文 |
|
104 |
Model-based Diagnosis of Discrete Event Systems with An Incomplete System Model
|
会议论文 |
|
105 |
Efficient Algorithms for k-Disjoint Paths Problems on DAGs
|
会议论文 |
|
106 |
Similarity-based supervisory control of discrete event systems
|
期刊论文 |
|
107 |
Progress in Computational Complexity Theory
|
期刊论文 |
|
108 |
More on weak bisimilarity of normed basic parallel processes.
|
会议论文 |
|
109 |
重复囚徒困境的学习和响应模型
|
期刊论文 |
|
110 |
A Survey of Multi-agent Coordination.
|
会议论文 |
|
111 |
结合拓扑和方位的定性空间推理方法
|
期刊论文 |
谢琦|陈娟|刘大有| |
112 |
Online OVSF Code Assignment with Resource Augmentation.
|
会议论文 |
|
113 |
A Posterior-Based Method for Markov Logic Networks Parameters Learning
|
会议论文 |
孙成敏|刘大有|孙舒杨| |
114 |
Use of rectangle algebra in cardinal direction
|
会议论文 |
Chen J;Zhang CH;Jia HY;Liu DY |
115 |
MULTI- GRANULARITIES APPROXIMATE METHOD FOR OBTAINING QUALITATIVE SPATIAL RELATIONS
|
会议论文 |
SHENG-SHENG WANG;XIN-YING WANG;DA-YOU LIU |
116 |
Observability and decentralized control of fuzzy discrete event systems
|
期刊论文 |
|
117 |
On topological consistency and realization
|
期刊论文 |
|
118 |
Oblivious Computation Proxy
|
期刊论文 |
|
119 |
CORS方法与规则生成算法GRs
|
期刊论文 |
孙舒杨|孙成敏|刘大有| |
120 |
基于模型诊断中产生所有极小冲突集的新方法
|
期刊论文 |
|
121 |
On Modularity of Social Network Communities: The Spectral Characterization
|
会议论文 |
Bo Yang;Jiming Liu;Jianfeng Feng;Dayou Liu |
122 |
Combinative Reasoning with RCC5 and Cardinal Direction Relations
|
会议论文 |
|
123 |
State-based control of fuzzy discrete event systems
|
期刊论文 |
|
124 |
A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network
|
会议论文 |
|
125 |
A New Taxonomy of Coordination Models Based on Interaction Types
|
会议论文 |
姜丽|刘大有| |
126 |
图的支配集若干问题的研究
|
期刊论文 |
李镇坚;葛启;王海涛;朱洪 |
127 |
P2P结构与搜索机制研究
|
期刊论文 |
幸冬梅;朱洪 |
128 |
一种简单凹形区域间拓扑关系的表示模型
|
期刊论文 |
欧阳继红|刘大有|富倩| |
129 |
Online Frequency Allocation in Cellular Networks
|
会议论文 |
Chan, Joseph Wun-Tat|Zhang, Yong|Ye, Deshi|Chin, Francis Y. L.| |
130 |
A New Cube-based Algorithm for Computing the Feature Core of a Consistent Decision Table
|
会议论文 |
Liu Yabo;Liu Dayou;Qi Hong |
131 |
Program Verification by Using DISCOVERER.
|
会议论文 |
|
132 |
Containing Order Rough Set Methodology
|
会议论文 |
|
133 |
A hierarchy of behavioral equivalences in the pi-calculus with noisy channels
|
期刊论文 |
Yongzhi Cao |
134 |
结合似然关系模型和用户等级的协同过滤推荐算法
|
期刊论文 |
[2] 高滢, 齐红, 刘杰, 刘大有| |
135 |
Spatial Reasoning Based Spatial Data Mining for Precision Agriculture
|
会议论文 |
|
136 |
A Two-Stage Clustering Algorithm for Multi-type Relational Data
|
会议论文 |
|
137 |
A distributed Q-learning algorithm for multi-agent team coordination
|
会议论文 |
Jing Huang;Bo Yang;Dayou Liu |
138 |
A Recommendation Algorithm Combining User Grade-based Collaborative Filtering and Probabilistic Relational Models
|
会议论文 |
|
139 |
Process Mining: Extending “α-Algorithm” to Mine Duplicate Tasks in Process Logs
|
会议论文 |
|
140 |
数字农业时空信息管理平台
|
期刊论文 |
王生生|刘大有|欧阳继红|刘杰| |
141 |
Using Description Logic to Determine Seniority among RB-RBAC Authorization Rules
|
会议论文 |
|
142 |
基于粗集理论的C3I信息融合性能评估方法研究
|
期刊论文 |
|
143 |
计算复杂性理论部分进展简述
|
期刊论文 |
|
144 |
基于分层任务网络的一致性规划方法
|
期刊论文 |
冯宇轩;欧阳丹彤 |
145 |
Inplementing Higher-order control in Java.
|
会议论文 |
|
146 |
A Complete Approach to Identify Conflict Sets Based on ATMS
|
会议论文 |
|
147 |
传名调用演算的二值传递CPS变换
|
期刊论文 |
喻钢|柳欣欣| |
148 |
一种基于ATMS的求解所有极小冲突集的新方法
|
期刊论文 |
张立明;欧阳丹彤;赵相福 |
149 |
基于协同产品数据管理理念的零部件子系统的设计
|
期刊论文 |
刘大有|张健|李妮娅| |
150 |
聚类算法研究
|
期刊论文 |
|
151 |
Combining Topological and Directional Information: First Results
|
会议论文 |
|
152 |
基于规划和动态调度的网格工作流
|
期刊论文 |
虞强源|刘大有|李嘉菲| |
153 |
一种基于模板的子句学习算法
|
期刊论文 |
齐红|于鹏|刘大有| |
154 |
A Markov Logic Network Learning Algorithm from Relational Missing Data
|
会议论文 |
|
155 |
Multi-bidding Strategy in Sponsored Keyword Auction
|
会议论文 |
|
156 |
An Extended Hierarchical Framework for Definitions of Diagnosability of Discrete Event Systems
|
会议论文 |
|
157 |
A Fuzzy Spatial Region Model Based on Flou Set
|
会议论文 |
|
158 |
General Public Key m-out-of-n Oblivious Transfer.
|
会议论文 |
|
159 |
n取m不经意传输协议构造研究
|
期刊论文 |
陈志德;朱洪 |
160 |
Forward looking Nash equilibrium for keyword auction
|
期刊论文 |
Tian-Ming Bu;Xiaotie Deng;Qi Qi |
161 |
Improved Algorithms for Deriving all Minimal Conflict Sets in Model-based Diagnosis
|
会议论文 |
|
162 |
种移动Agent 通信中本体信息调整方法
|
期刊论文 |
|
163 |
Generalized Region Connection Calculus
|
期刊论文 |
|
164 |
空间线面拓扑关系的推理
|
期刊论文 |
刘大有|马宝超|李昂|欧阳继红|富倩| |
165 |
Enumerating proofs of positive formulae
|
期刊论文 |
|
166 |
一种基于本体的问题求解学生模型
|
期刊论文 |
|
167 |
Algorithm Studies of Rlues Generation in CORS Methodology
|
会议论文 |
刘大有|付春晓|孙舒杨|孙成敏| |
168 |
一种基于多Agent系统的饲料配方优化算法
|
期刊论文 |
姜丽;刘大有;杨博;贾海洋;金弟;白岩 |
169 |
Extending the Strand Space Method to Verify Kerberos V.
|
会议论文 |
|
170 |
基于区间值模糊集的模糊区域拓扑关系模型
|
期刊论文 |
|
171 |
定性方向关系模型研究进展
|
期刊论文 |
谢琦,刘大有﹡,虞强源,陈娟 |
172 |
时空推理中自动生成复合表的通用算法
|
期刊论文 |
刘大有|王生生| |
173 |
顶点覆盖变体问题的确定参数可解算法研究
|
期刊论文 |
|
174 |
Tree Process Calculus.
|
期刊论文 |
|
175 |
A Method of Combing SE-tree to Compute all Minimal Hitting Sets
|
期刊论文 |
|
176 |
统计关系学习综述
|
会议论文 |
|
177 |
知识科学中的一些基本问题研究
|
专著 |
|
178 |
On Approximating the Maximum Simple Sharing Problem
|
会议论文 |
|
179 |
面向不完备信息系统的粗糙集方法研究
|
期刊论文 |
孙舒杨|孙成敏|刘大有| |
180 |
基于Hamming范数的XML流相关性估测算法
|
期刊论文 |
孙贺;朱洪 |
181 |
An Improved Algorithm for Finding the Closest Pair of Points
|
期刊论文 |
|
182 |
Arbitrage opportunities across sponsored search markets
|
期刊论文 |
Bu Tian-Ming;Deng Xiaotie;Qi Qi |
183 |
On an open problem of Amadio and Curien: The finite antichain condition
|
期刊论文 |
|
184 |
Mechanized proofs for the Parameter Abstraction and Guard Strengthening Principle in Parameterized Verification of Cache Coherence Protocols.
|
会议论文 |
|
185 |
Learning Dynamic Bayesian Network with Immune evolutionary algorithm
|
会议论文 |
|
186 |
Approximating the Maximum Sharing Problem
|
会议论文 |
|
187 |
RCC8 binary constraint network can be consistently extended
|
期刊论文 |
|