740 search results - page 99 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
127
click to vote
SSDBM
2006
IEEE
15 years 7 months ago
2006
IEEE
With the recent progress of spatial information technologies and communication technologies, it has become easier to track positions of a large number of moving objects in real-ti...
111
click to vote
AVI
2008
15 years 3 months ago
2008
In this paper we present a software framework which supports the construction of mixed-fidelity (from sketch-based to software) prototypes for mobile devices. The framework is ava...
104
click to vote
DSVIS
2008
Springer
15 years 3 months ago
2008
Springer
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...
PATAT
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Within the field of software agents, there has been increasing interest in automating the process of calendar scheduling in recent years. Calendar (or meeting) schedulin...
163
click to vote
SENSYS
2006
ACM
15 years 7 months ago
2006
ACM
We explore fundamental performance limits of tracking a target in a two-dimensional field of binary proximity sensors, and design algorithms that attain those limits. In particul...