| 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
|
期刊论文 |
|
