2490 search results - page 337 / 498 » The Generalized Theory of Model Preference |
174
click to vote
HYBRID
2010
Springer
16 years 29 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
158
click to vote
KBSE
2007
IEEE
16 years 23 days ago
2007
IEEE
Adoption of advanced automated SE (ASE) tools would be favored if a business case could be made that these tools are more valuable than alternate methods. In theory, software pred...
176
click to vote
COSIT
2007
Springer
16 years 19 days ago
2007
Springer
Higher level semantics are considered useful in the geospatial domain, yet there is no general consensus on the form these semantics should take. Indeed, knowledge representation p...
136
click to vote
CSCW
2006
ACM
16 years 13 days ago
2006
ACM
Spontaneous multi-party interaction – conversation among groups of three or more participants – is part of daily life. While automated modeling of such interactions has receiv...
157
click to vote
CCIA
2005
Springer
16 years 14 hour ago
2005
Springer
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...