3368 search results - page 513 / 674 » The Complexity of Query Reliability |
117
click to vote
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
136
click to vote
ICASSP
2007
IEEE
15 years 6 months ago
2007
IEEE
Our purpose is to study how different muscles collaborate together to efficiently create a smooth, coordinated reaching movement. In the EMG literature, it has been commonplace to...
107
click to vote
3DPVT
2004
IEEE
15 years 6 months ago
2004
IEEE
We present a novel range sensing method that is capable of constructing accurate 3D models of specular objects. Our method utilizes a new range imaging concept called multi-peak r...
112
Voted
ASPDAC
2004
ACM
15 years 6 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
169
click to vote
CLUSTER
2006
IEEE
15 years 6 months ago
2006
IEEE
The complexity of the cluster-based web service challenges the traditional approaches, which fail to guarantee the reliability and real-time performance required. In this paper, w...