6059 search results - page 311 / 1212 » A Technique for Verifying Measurements |
220
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
169
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The goal of this work was to explore modeling techniques to improve bird species classification from audio samples. We first developed an unsupervised approach to obtain approxima...
199
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we consider the problem of manifold approximation with affine subspaces. Our objective is to discover a set of low dimensional affine subspaces that represents ma...
151
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
When assembling MEMS devices or manipulating biological cells it is often beneficial to have information about the force that is being applied to these objects. This force informa...
199
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Software systems need to evolve as business requirements, technology and environment change. As software is modified to accommodate the required changes, its structure deteriorate...