220 search results - page 21 / 44 » Time, tense, truth |
108
click to vote
ISSS
2000
IEEE
15 years 6 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
148
click to vote
CATA
2006
15 years 3 months ago
2006
This paper introduces a real time human hand simulation system. A lifelike hand model is constructed and some of the human hand constraints are applied to it. Natural hand gesture...
122
click to vote
COMBINATORICA
2008
15 years 2 months ago
2008
The rigidity of squares of graphs in three-space has important applications to the study of flexibility in molecules. The Molecular Conjecture, posed in 1984 by T-S. Tay and W. Wh...
118
click to vote
MVA
2000
15 years 1 months ago
2000
We propose a new approach for automatic road extraction from aerial imagery with a model and a strategy mainly based on the multi-scale detection of roads in combination with geome...
PKDD
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. We present an automated tool with a web interface for tracking the prevalence of Influenza-like Illness (ILI) in several regions of the United Kingdom using the contents...