Sciweavers

2736 search results - page 279 / 548
» Implementable allocation rules
Sort
View
IJRR
2007
80views more  IJRR 2007»
15 years 6 months ago
Fast Laser Scan Matching using Polar Coordinates
In this paper a novel Polar Scan Matching (PSM) approach is described that works in the laser scanner’s polar coordinate system, therefore taking advantage of the structure of t...
Albert Diosi, Lindsay Kleeman
JAPLL
2007
86views more  JAPLL 2007»
15 years 6 months ago
Using logical relevance for question answering
We propose a novel method of determining the appropriateness of an answer to a question through a proof of logical relevance rather than a logical proof of truth. We define logic...
Marco De Boni
JMM2
2007
105views more  JMM2 2007»
15 years 6 months ago
A Framework for Gesture Interface Design
— Gesture interfaces have long been pursued in the context of portable computing and immersive environments. However, such interfaces have been difficult to build, in part due t...
Zhenyao Mo, Ulrich Neumann
ALIFE
2004
15 years 6 months ago
The Data-and-Signals Cellular Automaton and Its Application to Growing Structures
In a traditional cellular automaton (CA) a cell is implemented by a rule table defining its state at the next time step, given its present state and those of its neighbors. The cel...
André Stauffer, Moshe Sipper
ENTCS
2000
80views more  ENTCS 2000»
15 years 6 months ago
Behavioral and Coinductive Rewriting
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...
Joseph A. Goguen, Kai Lin, Grigore Rosu