Sciweavers

3103 search results - page 516 / 621
» Intelligent Multimedia Communication
Sort
View
ISAAC
1995
Springer
135views Algorithms» more  ISAAC 1995»
15 years 6 months ago
The I/O - Complexity of Ordered Binary - Decision Diagram Manipulation
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
Lars Arge
LREC
2010
154views Education» more  LREC 2010»
15 years 4 months ago
FAU IISAH Corpus -- A German Speech Database Consisting of Human-Machine and Human-Human Interaction Acquired by Close-Talking a
In this paper the FAU IISAH corpus and its recording conditions are described: a new speech database consisting of human-machine and human-human interaction recordings. Beside clo...
Werner Spiegl, Korbinian Riedhammer, Stefan Steidl...
HCI
2007
15 years 4 months ago
Architectural Backpropagation Support for Managing Ambiguous Context in Smart Environments
Abstract. The evolution to ubiquitous information and communication networks is evident. Technology is emerging that connects everyday objects and embeds intelligence in our enviro...
Davy Preuveneers, Yolande Berbers
IC
2004
15 years 4 months ago
A Markup Language for Generic User Interaction
Individuals are interested in the semantic and not necessarily in the presentation of services. The service interaction has to support the quality of the human senses, and since q...
Stephan Steglich, Bernd Mrohs
IJCAI
2001
15 years 4 months ago
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...
Patrick Doherty, Witold Lukaszewicz, Andrzej Szala...