1368 search results - page 53 / 274 » Personality-Based Practical Reasoning |
103
click to vote
ECEASST
2010
14 years 11 months ago
2010
: For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely ...
110
Voted
EWC
2000
15 years 1 months ago
2000
We explore the meanings of the terms as "structure," "behavior," and, especially, "function" in engineering practice. Computers provide great help in...
117
click to vote
JAIR
2010
15 years 11 days ago
2010
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
LPAR
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
114
click to vote
LPAR
2010
Springer
14 years 12 months ago
2010
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 temporal synthesis, l...