2196 search results - page 2 / 440 » Practical Reasoning Using Values |
KRDB
2003
13 years 6 months ago
2003
We report about some preliminary issues from the DFG project “Description Logics and Spatial Reasoning” (“DLS”, DFG Grant NE 279/8-1), one of whose goals is to develop a p...
CAV
2004
Springer
13 years 8 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
ICIS
1994
13 years 6 months ago
1994
The so called "productivity paradox" associated with information technology remains the focus of active research in information systems. One explanation involves the dea...
PAMI
2011
12 years 7 months ago
2011
Abstract—In this paper, we define meta-recognition, a performance prediction method for recognition algorithms, and examine the theoretical basis for its post-recognition score ...
AI
2007
Springer
13 years 5 months ago
2007
Springer
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...