634 search results - page 28 / 127 » Completion Procedures as Semidecision Procedures |
DLOG
2009
13 years 7 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
IJCAI
1997
13 years 11 months ago
1997
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
HICSS
2010
IEEE
14 years 4 months ago
2010
IEEE
This current study explored the impact of individual differences in personality factors on interface interaction and learning performance in both an interactive visualization and ...
SIAMSC
2010
13 years 8 months ago
2010
Frequently, the computation of derivatives for optimizing time-dependent problems is based on the integration of the adjoint differential equation. For this purpose, the knowledge...