Sciweavers

1179 search results - page 108 / 236
» Relative Timing Based Verification of Timed Circuits and Sys...
Sort
View
KR
2000
Springer
15 years 7 months ago
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
Alan Verberne, Frank van Harmelen, Annette ten Tei...
ICONIP
2007
15 years 5 months ago
The Detection of an Approaching Sound Source Using Pulsed Neural Network
Current automobiles’ safety systems based on video cameras and movement sensors fail when objects are out of the line of sight. This paper proposes a system based on pulsed neura...
Kaname Iwasa, Takeshi Fujisumi, Mauricio Kugler, S...
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
15 years 10 months ago
Static and Dynamic Weaving in System Software with AspectC++
— System software strongly relies on the availability of static as well as dynamic adaptation techniques. With AspectOriented Programming (AOP) it is now possible to adapt even p...
Wolfgang Schröder-Preikschat, Daniel Lohmann,...
LREC
2010
160views Education» more  LREC 2010»
15 years 5 months ago
Construction of Back-Channel Utterance Corpus for Responsive Spoken Dialogue System Development
In spoken dialogues, if a spoken dialogue system does not respond at all during user's utterances, the user might feel uneasy because the user does not know whether or not th...
Yuki Kamiya, Tomohiro Ohno, Shigeki Matsubara, Hid...
ICWE
2010
Springer
15 years 2 months ago
Automated Generation of Itineraries in Recommender Systems for Tourism
Current recommender systems can support tourists in choosing travel products (accommodation, activities, means of transport, etc.), in planning long trips, and in profitably spendi...
Pierpaolo Di Bitonto, Francesco Di Tria, Maria Lat...