Sciweavers

11328 search results - page 1839 / 2266
» Timed Branching Processes
Sort
View
CSL
2006
Springer
15 years 9 months ago
Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation
Abstract. We investigate the possibility of (bi)simulation-like preorder/equivalence checking on the class of visibly pushdown automata and its natural subclasses visibly BPA (Basi...
Jirí Srba
167
Voted
DEXA
2006
Springer
190views Database» more  DEXA 2006»
15 years 9 months ago
High-Dimensional Similarity Search Using Data-Sensitive Space Partitioning
Abstract. Nearest neighbor search has a wide variety of applications. Unfortunately, the majority of search methods do not scale well with dimensionality. Recent efforts have been ...
Sachin Kulkarni, Ratko Orlandic
130
Voted
ECAI
2006
Springer
15 years 9 months ago
The Incompleteness of Planning with Volatile External Information
In many real-world planning environments, some of the information about the world is both external (the planner must request it from external information sources) and volatile (it ...
Tsz-Chiu Au, Dana S. Nau
ECCV
2006
Springer
15 years 9 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. ...
144
Voted
ECML
2006
Springer
15 years 9 months ago
Active Learning with Irrelevant Examples
Abstract. Active learning algorithms attempt to accelerate the learning process by requesting labels for the most informative items first. In real-world problems, however, there ma...
Dominic Mazzoni, Kiri Wagstaff, Michael C. Burl
« Prev « First page 1839 / 2266 Last » Next »