Sciweavers

1521 search results - page 187 / 305
» On Sampled Semantics of Timed Systems
Sort
View
VMCAI
2010
Springer
15 years 7 months ago
Advances in Probabilistic Model Checking
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
Joost-Pieter Katoen
LREC
2008
107views Education» more  LREC 2008»
14 years 11 months ago
Evaluation of Different Segmentation Techniques for Dialogue Turns
In dialogue systems, it is necessary to decode the user input into semantically meaningful units. These semantical units, usually Dialogue Acts (DA), are used by the system to pro...
Carlos D. Martínez-Hinarejos, Vicent Tamari...
TAPOS
1998
93views more  TAPOS 1998»
14 years 9 months ago
Object Acquaintance Selection and Binding
Large object-oriented systems have, at least, four characteristics that complicate object communication, i.e the system is distributed and contains large numbers, e.g. thousands, ...
Jan Bosch
ICPR
2002
IEEE
15 years 11 months ago
Feature Selection for Pose Invariant Face Recognition
One of the major difficulties in face recognition systems is the in-depth pose variation problem. Most face recognition approaches assume that the pose of the face is known. In th...
Berk Gökberk, Ethem Alpaydin, Lale Akarun
LOCA
2009
Springer
15 years 4 months ago
Improving Location Fingerprinting through Motion Detection and Asynchronous Interval Labeling
Abstract. Wireless signal strength fingerprinting has become an increasingly popular technique for realizing indoor localization systems using existing WiFi infrastructures. Howev...
Philipp Bolliger, Kurt Partridge, Maurice Chu, Mar...