2409 search results - page 173 / 482 » Logical systems for structured specifications |
171
click to vote
ICMLA
2009
15 years 4 months ago
2009
We describe a generative model for graph edges under specific degree distributions which admits an exact and efficient inference method for recovering the most likely structure. T...
156
click to vote
FSKD
2008
Springer
15 years 7 months ago
2008
Springer
Evidence theory has been widely applied to uncertain reasoning. However, the evidence space and hypothesis space are each defined as a fixed set. If the theory is applied to solve...
129
click to vote
HICSS
2008
IEEE
16 years 29 days ago
2008
IEEE
Governments are increasingly using collaborative, cross-boundary strategies to face complex social problems. Many of these cross-boundary initiatives have at their core the use, a...
158
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The XML-based Clinical Document Architecture (CDA) for document exchange defines a three-level document architecture with each higher level adding more specificity to the markup o...
205
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
The coalition formation process, in which a number of independent, autonomous agents come together to act as a collective, is an important form of interaction in multi-agent system...