2196 search results - page 107 / 440 » Practical Reasoning Using Values |
126
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
‘Today’ messages are short status emails sent daily by members of a project team. We present the results of a field study of the use of ‘today’ messages by six small work ...
DAGSTUHL
1994
15 years 3 months ago
1994
Functionality-based recognition systems recognize objects at the category level by reasoning about how well the objects support the expected function. Such systems naturally assoc...
121
click to vote
CAV
2006
Springer
15 years 6 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
112
Voted
CP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Among backtracking based algorithms for constraint satisfaction problems (CSPs), algorithms employing constraint propagation, like forward checking (FC) and MAC, have had...