1992 search results - page 271 / 399 » Model Based Testing with Labelled Transition Systems |
137
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Distance-based methods are popular for reconstructing evolutionary trees thanks to their speed and generality. A number of methods exist for estimating distances from ...
174
Voted
SIGIR
2012
ACM
13 years 5 months ago
2012
ACM
The detection and improvement of low-quality information is a key concern in Web applications that are based on user-generated content; a popular example is the online encyclopedi...
134
Voted
FGR
2008
IEEE
15 years 5 months ago
2008
IEEE
The phenomenal growth of video on the web and the increasing sparseness of meta information associated with it forces us to look for signals from the video content for search/info...
163
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
139
Voted
CGI
2006
IEEE
15 years 9 months ago
2006
IEEE
We propose a framework to reconstruct human motion based on monocular camera video and motion database. In this framework, we use silhouettes for rough motion estimation based on a...