2638 search results - page 325 / 528 » A Framework for Automatic Debugging |
179
Voted
FMCAD
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
174
click to vote
ISMIR
2004
Springer
16 years 10 days ago
2004
Springer
Automatic audio classification usually considers sounds as music, speech, silence or noise, but works about the noise class are rare. Audio features are generally specific to sp...
184
click to vote
MICCAI
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. This paper presents a new robotic framework for assisted CTguided percutaneous procedures with force feedback and automatic patientto-image registration of needle. The pu...
209
click to vote
MLMI
2004
Springer
16 years 10 days ago
2004
Springer
This paper investigates the automatic analysis and segmentation of meetings. A meeting is analysed in terms of individual behaviours and group interactions, in order to decompose e...
163
Voted
SBIA
2004
Springer
16 years 9 days ago
2004
Springer
Tools and techniques used for automatic and smart analysis of huge data repositories of industries, governments, corporations and scientific institutes are the subjects dealt by th...