Sciweavers

4513 search results - page 101 / 903
» Modeling with a Sense of Purpose
Sort
View
WOWMOM
2009
ACM
125views Multimedia» more  WOWMOM 2009»
15 years 10 months ago
Mechanical modeling of bend sensors exploited to measure human joint movements
abstract Opening Remarks (9.00 – 9.15) Paul Lukowicz Keynote Lecture (9.15 – 10.15) Wearable Physiological Sensing Systems: Issues and Trade-offs in Real World Deployments Pres...
Giovanni Saggio, Paolo Bisegna, Giuseppe Latessa, ...
RTSS
1997
IEEE
15 years 10 months ago
On-the-fly symbolic model checking for real-time systems
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine
ECCV
2008
Springer
15 years 8 months ago
Event Modeling and Recognition Using Markov Logic Networks
Abstract. We address the problem of visual event recognition in surveillance where noise and missing observations are serious problems. Common sense domain knowledge is exploited t...
Son Dinh Tran, Larry S. Davis
TIT
2008
84views more  TIT 2008»
15 years 6 months ago
Information Theoretic Bounds on Authentication Systems in Query Model
Authentication codes provide message integrity guarantees in an information theoretic sense within a symmetric key setting. Information theoretic bounds on the success probability...
Reihaneh Safavi-Naini, Peter R. Wild
WOWMOM
2009
ACM
146views Multimedia» more  WOWMOM 2009»
16 years 20 days ago
When opportunity proceeds from autonomy: A tour-based architecture for disconnected mobile sensors
We consider the case of sparse mobile sensors deployed to implement missions in challenging environments. This paper explores a notion of tour networks that is well suited to circ...
Michel Charpentier, Radim Bartos, Swapnil Bhatia