10159 search results - page 1737 / 2032 » System Design Validation Using Formal Models |
167
click to vote
IROS
2006
IEEE
16 years 22 days ago
2006
IEEE
— Humanoid robots are routinely engaged in tasks requiring the coordination between multiple degrees of freedom and sensory inputs, often achieved through the use of sensorymotor...
160
click to vote
ISMIR
2005
Springer
16 years 6 days ago
2005
Springer
A system that segments and labels tabla strokes from real performances is described. Performance is evaluated on a large database taken from three performers under different recor...
333
click to vote
GIS
2006
ACM
16 years 7 months ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
160
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
— Identifying performance bottlenecks is important for microarchitects and application developers to produce high performance microprocessor designs and application software. Man...
160
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
The cost of a telecom service development is correlated to the discontinuity and the complexity of the process. To solve this problem, we propose a method dedicated to telecom ser...