Sciweavers

1115 search results - page 123 / 223
» An Abstract Look at Realizability
Sort
View
FC
2005
Springer
133views Cryptology» more  FC 2005»
15 years 10 months ago
RFID Traceability: A Multilayer Problem
Abstract. RFID tags have very promising applications in many domains (retail, rental, surveillance, medicine to name a few). Unfortunately the use of these tags can have serious im...
Gildas Avoine, Philippe Oechslin
IWINAC
2005
Springer
15 years 10 months ago
Model Performance for Visual Attention in Real 3D Color Scenes
Abstract. Visual attention is the ability of a vision system, be it biological or artificial, to rapidly detect potentially relevant parts of a visual scene. The saliency-based mo...
Heinz Hügli, Timothée Jost, Nabil Ouer...
MLMI
2005
Springer
15 years 10 months ago
Automatic Speech Recognition and Speech Activity Detection in the CHIL Smart Room
Abstract. An important step to bring speech technologies into wide deployment as a functional component in man-machine interfaces is to free the users from close-talk or desktop mi...
Stephen M. Chu, Etienne Marcheret, Gerasimos Potam...
PAKDD
2005
ACM
117views Data Mining» more  PAKDD 2005»
15 years 10 months ago
Automatic View Selection: An Application to Image Mining
Abstract. In this paper we discuss an image mining application of Egeria detection. Egeria is a type of weed found in various lands and water regions over San Joaquin and Sacrament...
Manoranjan Dash, Deepak Kolippakkam
TACAS
2005
Springer
129views Algorithms» more  TACAS 2005»
15 years 10 months ago
A New Algorithm for Strategy Synthesis in LTL Games
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens