1743 search results - page 274 / 349 » Generalized Modal Satisfiability |
149
Voted
JAIR
2010
14 years 9 months ago
2010
In many AI domains such as product configuration, a user should interactively specify a solution that must satisfy a set of constraints. In such scenarios, offline compilation of ...
125
click to vote
JMLR
2010
14 years 9 months ago
2010
We present an algorithm to infer causal relations between a set of measured variables on the basis of experiments on these variables. The algorithm assumes that the causal relatio...
143
Voted
SAC
2010
ACM
14 years 9 months ago
2010
ACM
Map labeling of point-feature is the problem of placing text labels to corresponding point features on a map in a way that minimizes overlaps while satisfying basic rules for the ...
SIAMMA
2010
14 years 9 months ago
2010
The nonlinear stability of travelling Lax shocks in semidiscrete conservation laws involving general spatial forward-backward discretization schemes is considered. It is shown tha...
112
click to vote
SIAMMA
2010
14 years 9 months ago
2010
We consider infinite FPU-type atomic chains with general convex potentials and study the existence of monotone fronts that are heteroclinic travelling waves connecting constant asy...