4480 search results - page 83 / 896 » Prototyping Completion with Constraints Using Computational ... |
141
Voted
KR
2000
Springer
15 years 7 months ago
2000
Springer
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
116
click to vote
AI
2001
Springer
15 years 7 months ago
2001
Springer
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
132
Voted
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
131
Voted
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Scalable Vector Graphics (SVG) is a language developed by the World Wide Web Consortium for describing two dimensional vector graphics for storage and distribution on the Web. Unl...
110
Voted
SSD
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we study the evaluation of continuous constraint queries (CCQs) for spatiotemporal streams. A CCQ triggers an alert whenever a configuration of constraints between s...