2490 search results - page 123 / 498 » Complexity of Contextual Reasoning |
184
click to vote
TPHOL
2006
IEEE
15 years 10 months ago
2006
IEEE
This case study shows how ACL2 can be used to reason about the real and complex numbers, using non-standard analysis. It describes some modifications to ACL2 that include the irr...
121
click to vote
AGP
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from othe...
124
click to vote
GIS
1998
ACM
15 years 4 months ago
1998
ACM
This paper describes the implementation of a triangulation based collapse algorithm in the general-purpose object oriented DBMS Magnum. The contribution of the paper is twofold. F...
145
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
The allowable computational complexity of video encoding is limited in a power-constrained system. Different video frames are associated with different motions and contexts, and s...
171
click to vote
PODC
2012
ACM
13 years 6 months ago
2012
ACM
Multi-party communication complexity involves distributed computation of a function over inputs held by multiple distributed players. A key focus of distributed computing research...