Sciweavers

1446 search results - page 52 / 290
» Testing for Concise Representations
Sort
View
ICMCS
2009
IEEE
133views Multimedia» more  ICMCS 2009»
13 years 6 months ago
View indepedent human movement recognition from multi-view video exploiting a circular invariant posture representation
In this paper a novel method for view independent human movement representation and recognition, exploiting the rich information contained in multi-view videos, is proposed. The bi...
Nikolaos Gkalelis, Nikos Nikolaidis, Ioannis Pitas
SUTC
2008
IEEE
14 years 3 months ago
EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks
Testing and verification methodologies for Wireless Sensor Networks (WSN) systems in pre-deployment are vital for a successful deployment. Increased visibility of the internal st...
Matthias Woehrle, Christian Plessl, Roman Lim, Jan...
ICNP
2006
IEEE
14 years 2 months ago
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ri...
PASTE
2005
ACM
14 years 2 months ago
MonDe: safe updating through monitored deployment of new component versions
Safely updating software at remote sites is a cautious balance of enabling new functionality and avoiding adverse effects on existing functionality. A useful first step in this p...
Jonathan E. Cook, Alessandro Orso
EDBT
2010
ACM
136views Database» more  EDBT 2010»
14 years 2 months ago
Minimizing database repros using language grammars
Database engines and database-centric applications have become complex software systems. Ensuring bug-free database services is therefore a very difficult task. Whenever possible...
Nicolas Bruno