837 search results - page 33 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
FDL
2006
IEEE
14 years 1 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
GI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract: Preference elicitation is often used in e-services to create product recommendations for their customers. We present an approach for applying preference elicitation techn...
CTW
2008
13 years 6 months ago
2008
Modern developments in the use of information technology within command and control allow unprecedented degrees of flexibility in the way teams deal with tasks. These developments...
IADIS
2009
13 years 5 months ago
2009
The paper describes a novel rule-based approach to classification of opinion statements on the level of individual sentences. In contrast to existing approaches, the proposed meth...
GEM
2008
13 years 9 months ago
2008
This paper presents a realtime music composition system based on a theme and variation approach. The system uses MIDI and allows up to sixteen instruments to play together. Each in...