18716 search results - page 143 / 3744 » Automatic |
118
click to vote
SPEECH
2010
14 years 11 months ago
2010
In this paper the nature and relevance of the information provided by intonation is discussed in the framework of second language learning. As a consequence, an automatic intonati...
243
click to vote
FROCOS
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
135
click to vote
ASPDAC
2012
ACM
14 years 5 hour ago
2012
ACM
—Host-compiled simulation has been widely adopted as a practical approach for fast and high-level evaluation of complex software-intensive systems at early stages of the design p...
123
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
We propose a full automatic technique to project virtual texture on a real textureless 3D object. Our sytem is composed of cameras and projector and are used to determine the pose...
161
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. This paper proposes a solution for the automatic detection and tracking of human motion in image sequences. Due to the complexity of the human body and its motion, automa...