Sciweavers

4762 search results - page 642 / 953
» About the use of protein models
Sort
View
ICCV
2009
IEEE
16 years 6 months ago
Automatic annotation of human actions in video
This paper addresses the problem of automatic temporal annotation of realistic human actions in video using mini- mal manual supervision. To this end we consider two asso- ciate...
Olivier Duchenne, Ivan Laptev, Josef Sivic, Franci...
118
Voted
ICPR
2000
IEEE
16 years 2 months ago
Detecting and Tracking Human Faces in Videos
A method for detecting and tracking human faces in color videos is presented. The method first uses a chroma chart with information about skin colors of various races to determine...
Yadong Li, A. Ardeshir Goshtasby, Oscar N. Garcia
DAC
2000
ACM
16 years 2 months ago
Power analysis of embedded operating systems
The increasing complexity and software content of embedded systems has led to the common use of sophisticated system software that helps applications use the underlying hardware r...
Robert P. Dick, Ganesh Lakshminarayana, Anand Ragh...
79
Voted
AIED
2009
Springer
15 years 8 months ago
Revisiting Ill-Definedness and the Consequences for ITSs
: ITSs for ill-defined domains have attracted a lot of attention recently, which is well-deserved, as such ITSs are hard to develop. The first step towards such ITSs is reaching a ...
Antonija Mitrovic, Amali Weerasinghe
111
Voted
SBMF
2009
Springer
156views Formal Methods» more  SBMF 2009»
15 years 8 months ago
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
Kriangsak Damchoom, Michael J. Butler