Sciweavers

7978 search results - page 39 / 1596
» Representation before computation
Sort
View
MM
2005
ACM
139views Multimedia» more  MM 2005»
15 years 11 months ago
Exploiting self-adaptive posture-based focus estimation for lecture video editing
Head pose plays a special role in estimating a presenter’s focuses and actions for lecture video editing. This paper presents an efficient and robust head pose estimation algori...
Feng Wang, Chong-Wah Ngo, Ting-Chuen Pong
FMCO
2005
Springer
156views Formal Methods» more  FMCO 2005»
15 years 11 months ago
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
CINQ
2004
Springer
123views Database» more  CINQ 2004»
15 years 11 months ago
One-Sided Instance-Based Boundary Sets
Abstract. Instance retraction is a difficult problem for concept learning by version spaces. This chapter introduces a family of version-space representations called one-sided inst...
Evgueni N. Smirnov, Ida G. Sprinkhuizen-Kuyper, H....
DEXA
1998
Springer
90views Database» more  DEXA 1998»
15 years 10 months ago
On the Correctness of a Transaction Model for Mobile Computing
We discuss and prove the correctness of a transaction model for mobile computing. In our transaction model, we incorporate a prewrite operation (before a write) which does not upda...
Sanjay Kumar Madria, Bharat K. Bhargava
CDC
2009
IEEE
130views Control Systems» more  CDC 2009»
15 years 10 months ago
Modal and transition dwell time computation in switching systems: a set-theoretic approach
We consider a plant the dynamics of which switch among a family of systems. Each of these systems has a single stable equilibrium point. We assume that a constraint region for the...
Franco Blanchini, Daniele Casagrande, Stefano Mian...