5232 search results - page 724 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
148
click to vote
TACAS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
181
click to vote
HAPTICS
2003
IEEE
16 years 9 hour ago
2003
IEEE
In previous papers, a passive control implementation structure is proposed for mechanical systems interacting with physical environments. The proposed implementation structure enf...
129
Voted
ISMIR
2003
Springer
15 years 12 months ago
2003
Springer
We have investigated the performance of a hidden Markov model QBH retrieval system on a large musical database. The database is synthetic, generated from statistics gleaned from o...
208
click to vote
COMPENG
2010
15 years 10 months ago
2010
We estimate with a branching process model the propagation of load shed and the probability distribution of load shed in simulated blackouts of an electric power system. The avera...
164
click to vote
EHCI
2004
15 years 8 months ago
2004
New display technologies will enable designers to use every surface as a support for interaction with information technology. In this article, we describe techniques and tools for ...