1956 search results - page 130 / 392 » A Critical View of Context |
178
click to vote
AAAI
2008
15 years 8 months ago
2008
Logic programming with negation offers a compelling approach to abductive reasoning. This paper shows a simple view of abduction in this context for the completion semantics, unde...
172
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
158
click to vote
CRV
2006
IEEE
15 years 8 months ago
2006
IEEE
Image panoramas are of importance for virtual navigation in remote or synthetic environments. To process these panoramas, different representations have been proposed; this paper ...
145
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
The quality of formal specifications and the circuits they are written for can be evaluated through checks such as vacuity and coverage. Both checks involve mutations to the specif...
152
click to vote
MIE
2008
15 years 7 months ago
2008
We report from three usability evaluations of health information systems that illustrate the value of seeing usability as a context dependent property of a product. We show how the...