Sciweavers

11784 search results - page 2148 / 2357
» Interpolation for data structures
Sort
View
RAS
1998
145views more  RAS 1998»
15 years 3 months ago
Coordinated path planning for multiple robots
We present a new approach to the multi-robot path planning problem, where a number of robots are to change their positions through feasible motions in the same static environment....
Petr Svestka, Mark H. Overmars
PUC
2002
82views more  PUC 2002»
15 years 3 months ago
A Location Model for Communicating and Processing of Context
Location is one of the most important elements of context in ubiquitous computing. In this paper we describe a location model, a spatial-aware communication model and an implement...
Michael Beigl, Tobias Zimmer, Christian Decker
SPE
1998
118views more  SPE 1998»
15 years 3 months ago
Implementing a Zooming User Interface: Experience Building Pad++
We are investigating a novel user interface paradigm based on zooming, in which users are presented with a zooming view of a huge planar information surface. We have developed a s...
Benjamin B. Bederson, Jonathan Meyer
TODAES
1998
68views more  TODAES 1998»
15 years 3 months ago
Specification and verification of pipelining in the ARM2 RISC microprocessor
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
James K. Huggins, David Van Campenhout
TASLP
2002
109views more  TASLP 2002»
15 years 3 months ago
Particle methods for Bayesian modeling and enhancement of speech signals
This paper applies time-varying autoregressive (TVAR) models with stochastically evolving parameters to the problem of speech modeling and enhancement. The stochastic evolution mod...
Jaco Vermaak, Christophe Andrieu, Arnaud Doucet, S...
« Prev « First page 2148 / 2357 Last » Next »