Sciweavers

1494 search results - page 251 / 299
» Kernels for Global Constraints
Sort
View
IPPS
2003
IEEE
14 years 3 months ago
Implementation of a Calendar Application Based on SyD Coordination Links
System on Devices (SyD) is a specification for a middleware to enable heterogeneous collections of information, databases, or devices (such as hand-held devices) to collaborate wi...
Sushil K. Prasad, Anu G. Bourgeois, Erdogan Dogdu,...
ISMAR
2003
IEEE
14 years 3 months ago
Robust Vision-Based Registration Utilizing Bird's-Eye View with User's View
This paper describes new vision-based registration methods utilizing not only cameras on a user’s head-mounted display but also a bird’s-eye view camera that observes the user...
Kiyohide Satoh, Shinji Uchiyama, Hiroyuki Yamamoto...
WETICE
2003
IEEE
14 years 3 months ago
Design and Implementation of Virtual Private Services
Large scale distributed applications such as electronic commerce and online marketplaces combine network access with multiple storage and computational elements. The distributed r...
Sotiris Ioannidis, Steven M. Bellovin, John Ioanni...
SI3D
2003
ACM
14 years 3 months ago
Interactive navigation in complex environments using path planning
We present a novel approach for interactive navigation in complex 3D synthetic environments using path planning. Our algorithm precomputes a global roadmap of the environment by u...
Brian Salomon, Maxim Garber, Ming C. Lin, Dinesh M...
FM
2003
Springer
146views Formal Methods» more  FM 2003»
14 years 3 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb