4451 search results - page 562 / 891 » Continuous model synthesis |
146
click to vote
STOC
2003
ACM
16 years 7 months ago
2003
ACM
In this paper we establish a topological similarity between two apparently different shape constructors from a set of points. Shape constructors are geometric structures that tran...
191
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
179
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Modeling and quantifying different human factors continue to be one of the major challenges in introducing new biometric systems. For example, drivers of some of our behavior diï...
204
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
Aesthetics is an unsolved problem of information visualization, because there is no satisfactory understanding of what constitutes aesthetic effect. This survey paper gives an ove...
168
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...