Sciweavers

17760 search results - page 3508 / 3552
» A Generalization of the Massey-Ding Algorithm
Sort
View
KBSE
2010
IEEE
13 years 6 months ago
A visual interactive debugger based on symbolic execution
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
Reiner Hähnle, Marcus Baum, Richard Bubel, Ma...
KI
2010
Springer
13 years 6 months ago
An Extensible Modular Recognition Concept That Makes Activity Recognition Practical
Abstract. In mobile and ubiquitous computing, there is a strong need for supporting different users with different interests, needs, and demands. Activity recognition systems for c...
Martin Berchtold, Matthias Budde, Hedda Rahel Schm...
LATIN
2010
Springer
13 years 6 months ago
Packet Routing on the Grid
The packet routing problem, i.e., the problem to send a given set of unit-size packets through a network on time, belongs to one of the most fundamental routing problems with impor...
Britta Peis, Martin Skutella, Andreas Wiese
MM
2010
ACM
164views Multimedia» more  MM 2010»
13 years 6 months ago
Visual search applications for connecting published works to digital material
Visual search connects physical (offline) objects with (online) digital media. Using objects from the environment, like newspapers, magazines, books and posters, we can retrieve s...
Jamey Graham, Jorge Moraleda, Jonathan J. Hull, Ti...
MM
2010
ACM
129views Multimedia» more  MM 2010»
13 years 6 months ago
Facilitating interactive search and navigation in videos
We present a tool that can efficiently facilitate interactive navigation and search in videos. In addition to browsing a video by shots it also allows a user to navigate through a...
Klaus Schoeffmann
« Prev « First page 3508 / 3552 Last » Next »