Sciweavers

911 search results - page 14 / 183
» First Steps with a Rideable Computer
Sort
View
CSIE
2009
IEEE
14 years 2 months ago
Smoke Detection in Video
In this paper, we propose a method for smoke detection in outdoor video sequences. We assume that the camera is mounted on a pan/tilt device. The proposed method is composed of th...
DongKeun Kim, Yuan-Fang Wang
CONCUR
2006
Springer
13 years 9 months ago
Model Checking Quantified Computation Tree Logic
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
Arend Rensink
AO
2007
80views more  AO 2007»
13 years 8 months ago
Problems in the ontology of computer programs
As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: (1) Can programs, hardware, and metaprograms be organized into...
Amnon H. Eden, Raymond Turner
ECCV
2006
Springer
13 years 11 months ago
Computing Emotion Awareness Through Facial Electromyography
To improve human-computer interaction (HCI), computers need to recognize and respond properly to their user's emotional state. This is a fundamental application of affective c...
Egon L. van den Broek, Marleen H. Schut, Joyce H. ...
CORR
2011
Springer
206views Education» more  CORR 2011»
13 years 2 months ago
Arrangement Computation for Planar Algebraic Curves
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decompos...
Eric Berberich, Pavel Emeliyanenko, Alexander Kobe...