1743 search results - page 143 / 349 » Generalized Modal Satisfiability |
124
click to vote
ECCV
2004
Springer
15 years 8 months ago
2004
Springer
Stochastic tracking of structured models in monolithic state spaces often requires modeling complex distributions that are difficult to represent with either parametric or sample...
123
Voted
JELIA
2004
Springer
15 years 8 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
111
click to vote
ICRA
2003
IEEE
15 years 8 months ago
2003
IEEE
— We explore the control of a nonholonomic robot subject to additional constraints on the state variables. In our problem, the user specifies the path of a subset of the state v...
112
click to vote
ECML
2001
Springer
15 years 8 months ago
2001
Springer
Modern agent and mediator systems communicate to a multitude of Web information providers to better satisfy user requests. They use wrappers to extract relevant information from HT...
142
click to vote
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Scheduling meetings is generally difficult in that it attempts to satisfy the preferences of all participants. However, all participants can agree to a schedule in which...