2609 search results - page 465 / 522 » Models for Global Constraint Applications |
PVLDB
2008
14 years 11 months ago
2008
Time series data is common in many settings including scientific and financial applications. In these applications, the amount of data is often very large. We seek to support pred...
119
click to vote
PASTE
2005
ACM
15 years 5 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
121
click to vote
AIA
2006
15 years 1 months ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
102
click to vote
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
Estimating geometric structure from uncalibrated images accurately enough for high quality rendering is difficult. We present a method where only coarse geometric structure is trac...
112
click to vote
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...