3742 search results - page 346 / 749 » On the Use of Formal Techniques for Validation |
177
click to vote
AVSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents a novel auto-calibration method from unconstrained human body motion. It relies on the underlying biomechanical constraints associated with human bipedal locom...
193
click to vote
TABLETOP
2007
IEEE
16 years 1 months ago
2007
IEEE
Mixed-presence tabletop interfaces aim to support collaboration between remote groups. However, it is unclear why tabletop interaction techniques should be important for mixed-pre...
178
click to vote
COMPSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...
155
Voted
ECCV
2004
Springer
16 years 4 days ago
2004
Springer
An automatic tool is developed to identify microbiological data types using computer-vision and statistical modeling techniques. In bacteriophage (phage) typing, representative pro...
126
click to vote
ISMIR
2004
Springer
16 years 3 days ago
2004
Springer
This paper presents a technique for the automatic classification of vocal and non-vocal regions in an acoustic musical signal. The proposed technique uses acoustic features which ...