6894 search results - page 284 / 1379 » Generation Problems |
168
click to vote
NMR
2004
Springer
16 years 7 hour ago
2004
Springer
We develop an Answer Set Programming formalism based on Default Logic. We show that computing generating sets of extensions in this formalism captures all ΣP 2 search problems.
157
Voted
MOC
1998
15 years 6 months ago
1998
The vortex method for the initial-boundary value problems of the Euler equations for incompressible flow is studied. A boundary correction technique is introduced to generate seco...
172
click to vote
PAMI
2006
15 years 6 months ago
2006
A new approach to support vector machine (SVM) classification is proposed wherein each of two data sets are proximal to one of two distinct planes that are not parallel to each oth...
181
click to vote
FLAIRS
2006
15 years 8 months ago
2006
This work is a confluence of three problems in constraint reasoning: qualitative temporal reasoning (QTR), incremental reasoning, and explanation generation. Our primary objective...
199
click to vote
VL
2009
IEEE
16 years 1 months ago
2009
IEEE
Euler diagrams form the basis of several visual modelling notations, including statecharts and constraint diagrams. Recently, various techniques for automated Euler diagram drawin...