2662 search results - page 105 / 533 » Tools Demonstrations |
150
click to vote
RSP
2005
IEEE
15 years 9 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
MM
2005
ACM
15 years 9 months ago
2005
ACM
Though there are many commercial video authoring tools available today, video authoring remains as a tedious and extremely time consuming task that often requires trained professi...
122
click to vote
PERVASIVE
2004
Springer
15 years 9 months ago
2004
Springer
In an effort to support the development of context-aware applications that use archived sensor data, we introduce the concept of the Context Cube based on techniques of data wareho...
129
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Today’s mobile communication systems use sophisticated signal processing to achieve high transmission rates. Therefore a high complexity in the digital system part as well as ve...
135
click to vote
ISMAR
2003
IEEE
15 years 9 months ago
2003
IEEE
The Augmented Reality Videoconferencing System is a novel remote collaboration tool combining a desktop-based AR system and a videoconferencing module. The novelty of our system i...