2662 search results - page 105 / 533 » Tools Demonstrations |
179
click to vote
RSP
2005
IEEE
15 years 12 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...
125
click to vote
MM
2005
ACM
15 years 12 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...
154
click to vote
PERVASIVE
2004
Springer
15 years 11 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...
157
click to vote
DATE
2003
IEEE
15 years 11 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...
166
click to vote
ISMAR
2003
IEEE
15 years 11 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...