1580 search results - page 189 / 316 » CoTeSys - Cognition for Technical Systems |
147
click to vote
IDEAS
2008
IEEE
16 years 27 days ago
2008
IEEE
In this paper we show the usefulness and feasibility of applying conventional SQL queries for analyzing a wide spectrum of data streams. As application area we have chosen the ana...
174
click to vote
LICS
2008
IEEE
16 years 26 days ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
158
click to vote
ICMCS
2007
IEEE
16 years 24 days ago
2007
IEEE
Recent years have seen growing interest in mobile augmented reality. The ability to retrieve information and display it as virtual content overlaid on top of an image of the real ...
161
click to vote
QSIC
2007
IEEE
16 years 21 days ago
2007
IEEE
The success of a software project is largely dependent upon the quality of the Software Requirements Specification (SRS) document, which serves as a medium to communicate user req...
175
click to vote
CMMR
2007
Springer
16 years 19 days ago
2007
Springer
This paper describes the design and implementation of a framework designed to aid collaborative development of a digital musical instrument mapping layer1 . The goal was to create ...