1329 search results - page 90 / 266 » Constraint-based model synthesis |
140
click to vote
TOG
2008
15 years 4 months ago
2008
Simulated characters in simulated worlds require simulated skills. We develop control strategies that enable physically-simulated characters to dynamically navigate environments w...
123
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
126
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
124
click to vote
TSD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. After the years of hesitation the conservative Slovak telecommunication market seems to become conscious of the need of voice driven services. In the last year, all the t...
135
click to vote
AUSAI
2003
Springer
15 years 9 months ago
2003
Springer
We describe novel approaches to multimedia analysis and synthesis problems. We first present the experiential sampling technique which has the ability to focus on the analysis task...