Sciweavers

1532 search results - page 74 / 307
» An analysis of additivity in OLAP systems
Sort
View
ICMCS
2005
IEEE
92views Multimedia» more  ICMCS 2005»
14 years 2 months ago
An intelligent system for facial emotion recognition
An intelligent emotion recognition system, interweaving psychological findings about emotion representation with analysis and evaluation of facial expressions has been generated a...
Roddy Cowie, Ellen Douglas-Cowie, John G. Taylor, ...
ARTS
1999
Springer
14 years 1 months ago
Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
Paul Z. Kolano
AMTA
1998
Springer
14 years 1 months ago
EMIS: A Multilingual Information System
The objective of the emis project is the conception and realization of a multilingualinformation system on European media law with the following functionalities: search by words, ...
Bärbel Ripplinger
GI
2008
Springer
13 years 10 months ago
AR Binocular: Augmented Reality System for nautical navigation
: A realtime Augmented Reality binocular for the assistance of nautical staff is presented. AR systems combine the real environment with additional information. Nautical sea chart ...
Kristine Haase, Reinhard Koch
INFOCOM
2010
IEEE
13 years 7 months ago
Characterization of Non-Manipulable and Pareto Optimal Resource Allocation Strategies for Interference Coupled Wireless Systems
This paper investigates the properties of social choice functions that represent resource allocation strategies in interference coupled wireless systems. The allocated resources ca...
Holger Boche, Siddharth Naik, Tansu Alpcan