Sciweavers

7047 search results - page 1041 / 1410
» Focusing on Binding and Computation
Sort
View
MM
2005
ACM
188views Multimedia» more  MM 2005»
16 years 11 days ago
Detecting group activities using rigidity of formation
Most work in human activity recognition is limited to relatively simple behaviors like sitting down, standing up or other dramatic posture changes. Very little has been achieved i...
Saad M. Khan, Mubarak Shah
153
Voted
ACII
2005
Springer
16 years 11 days ago
Environment Expression: Expressing Emotions Through Cameras, Lights and Music
Environment expression is about going beyond the usual Human emotion expression channels in virtual worlds. This work proposes an integrated storytelling model – the environment ...
Celso de Melo, Ana Paiva
ADHOCNOW
2005
Springer
16 years 11 days ago
Message Stability and Reliable Broadcasts in Mobile Ad-Hoc Networks
Abstract. Many to many reliable broadcast is useful while building distributed services like group membership and agreement in a MANET. Efforts in implementing reliable broadcast ...
Kulpreet Singh, Andronikos Nedos, Gregor Gärt...
CCIA
2005
Springer
16 years 11 days ago
Classifying Natural Objects on Outdoor Scenes
We propose an hybrid and probabilistic classification of image regions belonging to scenes primarily containing natural objects, e.g. sky, trees, etc. as a first step in solving ...
Anna Bosch, Xavier Muñoz, Joan Martí...
163
Voted
CIE
2005
Springer
16 years 10 days ago
Formalising Exact Arithmetic in Type Theory
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
Milad Niqui
« Prev « First page 1041 / 1410 Last » Next »