Sciweavers

5170 search results - page 418 / 1034
» Consistency of the FastSLAM Algorithm
Sort
View
IDMS
1997
Springer
153views Multimedia» more  IDMS 1997»
15 years 11 months ago
Embedding Data in 3D Models
The recent popularity of digital media such as CD-ROM and the Internet has prompted exploration of techniques for embedding data, either visibly or invisibly, into text, image, and...
Ryutarou Ohbuchi, Hiroshi Masuda, Masaki Aono
CSCW
1996
ACM
15 years 11 months ago
An Integrating, Transformation-Oriented Approach to Concurrency Control and Undo in Group Editors
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...
Matthias Ressel, Doris Nitsche-Ruhland, Rul Gunzen...
TACAS
1997
Springer
146views Algorithms» more  TACAS 1997»
15 years 11 months ago
Compositional State Space Generation from Lotos Programs
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
Jean-Pierre Krimm, Laurent Mounier
COST
1994
Springer
146views Multimedia» more  COST 1994»
15 years 11 months ago
A Binding Architecture for Multimedia Networks
: An open architecture that achieves seamless binding between networking and multimedia devices is proposed. The building blocks of the binding architecture consist of a set of es,...
Aurel A. Lazar, Shailendra K. Bhonsle, Koon-Seng L...
ECAI
1994
Springer
15 years 11 months ago
Constraint Satisfaction for Multiple Capacitated Job Shop Scheduling
We introduce the multiple capacitated job shop scheduling problem as a generalization of the job shop scheduling problem. In this problem machines may process several operations s...
W. P. M. Nuijten, Emile H. L. Aarts