244 search results - page 25 / 49 » Continuous penalty forces |
CSSW
2007
13 years 11 months ago
2007
Abstract: Retrieval of web-based geographic information (GI) for spatial decisionmaking processes can benefit from emerging semantic technologies. Ontology-supported metadata, col...
AAAI
1990
13 years 11 months ago
1990
We describe a robot control architecture which combines a stimulus-response subsystem for rapid reaction, with a search-based planner for handling unanticipated situations. The ro...
BC
1999
13 years 9 months ago
1999
Repetitive occurrence of partial or total upper airway obstruction characterizes several respiratory dysfunctions such as the obstructive sleep apnea syndrome (OSAS). In OSAS patie...
TSMC
1998
13 years 9 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
FORMATS
2010
Springer
13 years 7 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...