Sciweavers

2877 search results - page 126 / 576
» Complex Decision Making Processes: their Modelling and Suppo...
Sort
View
ENTCS
2006
133views more  ENTCS 2006»
15 years 3 months ago
Linking Semantic Models to Support CSP || B Consistency Checking
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
Neil Evans, Helen Treharne
114
Voted
ICTAI
2009
IEEE
15 years 10 months ago
Probabilistic Neural Logic Network Learning: Taking Cues from Neuro-Cognitive Processes
This paper describes an attempt to devise a knowledge discovery model that is inspired from the two theoretical frameworks of selectionism and constructivism in human cognitive le...
Henry Wai Kit Chia, Chew Lim Tan, Sam Yuan Sung
129
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
Supporting automatic model inconsistency fixing
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song...
142
Voted
ICDM
2007
IEEE
137views Data Mining» more  ICDM 2007»
15 years 9 months ago
Locally Constrained Support Vector Clustering
Support vector clustering transforms the data into a high dimensional feature space, where a decision function is computed. In the original space, the function outlines the bounda...
Dragomir Yankov, Eamonn J. Keogh, Kin Fai Kan
165
Voted
AGENTS
1997
Springer
15 years 7 months ago
Integrating Communicative Action, Conversations and Decision Theory to Coordinate Agents
The coordination problem in multi-agent systems is the problem of managing dependencies between the activities of autonomous agents, in conditions of incomplete knowledge about th...
Mihai Barbuceanu, Mark S. Fox