4451 search results - page 764 / 891 » Continuous model synthesis |
154
click to vote
FM
2001
Springer
15 years 10 months ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
126
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
This paper introduces a data-driven process for designing and fabricating materials with desired deformation behavior. Our process starts with measuring deformation properties of ...
207
click to vote
ICSM
2000
IEEE
15 years 10 months ago
2000
IEEE
Most studies of software evolution have been performed on systems developed within a single company using traditional management techniques. With the widespread availability of se...
160
click to vote
ACMSE
2000
ACM
15 years 10 months ago
2000
ACM
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
140
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
We propose the use of interactive, user-in-the-loop techniques for controlling physically-based animated characters. With a suitably designed interface, the continuous and discret...