634 search results - page 28 / 127 » Completion Procedures as Semidecision Procedures |
132
Voted
DLOG
2009
15 years 17 days 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...
117
Voted
IJCAI
1997
15 years 4 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...
139
Voted
ATAL
2007
Springer
15 years 9 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...
111
Voted
HICSS
2010
IEEE
15 years 9 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 ...
123
Voted
SIAMSC
2010
15 years 1 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...