4117 search results - page 738 / 824 » On the Satisfiability of Complex Constraints |
155
click to vote
WSC
2004
15 years 7 months ago
2004
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...
164
Voted
AAAI
1998
15 years 7 months ago
1998
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
164
click to vote
AAAI
2000
15 years 7 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
175
Voted
AAAI
2000
15 years 7 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
215
click to vote
HPN
1998
15 years 7 months ago
1998
: The attempt to provide QoS in IP networks has raised some interesting questions on how a service can be provided to meet the application requirements while obeying the network re...