4480 search results - page 61 / 896 » Prototyping Completion with Constraints Using Computational ... |
110
Voted
CAD
1999
Springer
15 years 3 months ago
1999
Springer
The numerical approach to solving geometric constraint problems is indispensable for building a practical CAD system. The most commonly-used numerical method is the Newton
129
Voted
TOPNOC
2008
15 years 3 months ago
2008
Abstract. In a seminal paper, McMillan proposed a technique for constructing a finite complete prefix of the unfolding of bounded (i.e., finitestate) Petri nets, which can be used ...
120
click to vote
STACS
2009
Springer
15 years 10 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
120
Voted
IJCAI
2003
15 years 4 months ago
2003
In data-integration systems, information sources often have various constraints such as “all houses stored at a source have a unique address.” These constraints are very usefu...
138
Voted
ICCBR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Planning the ongoing care of Alzheimer's Disease (AD) patients is a complex task, marked by cases that change over time, multiple perspectives, and ethical issues. G...