Sciweavers

1157 search results - page 101 / 232
» Events Can Make Sense
Sort
View
IROS
2007
IEEE
108views Robotics» more  IROS 2007»
14 years 3 months ago
Hiding the acoustic signature of a mobile robot
—A mobile robot can be a rather significant source of noise: noisy fans cool onboard computers, motors are spinning, rubber wheels are squeaking against the floor, and mechanical...
Eric Martinson
SOFSEM
2009
Springer
14 years 6 months ago
Symbolic Reachability Analysis of Integer Timed Petri Nets
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
Min Wan, Gianfranco Ciardo
APSEC
2005
IEEE
14 years 2 months ago
Model Checking Interrupt-Dependent Software
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
Colin J. Fidge, Phil Cook
ICMCS
1999
IEEE
141views Multimedia» more  ICMCS 1999»
14 years 1 months ago
Trail-Based Approach for Video Data Indexing and Retrieval
Increasing use of multimedia data makes it crucial t o use intelligent search mechanisms for retrieving multimedia data by content. Digital video requires the incorporation of tem...
Serhan Dagtas, Wasfi Al-Khatib, Arif Ghafoor, Ashf...
ISIPTA
1999
IEEE
114views Mathematics» more  ISIPTA 1999»
14 years 1 months ago
Lower Desirability Functions: A Convenient Imprecise Hierarchical Uncertainty Model
I introduce and study a fairly general imprecise secondorder uncertainty model, in terms of lower desirability. A modeller's lower desirability for a gamble is defined as her...
Gert De Cooman