Sciweavers

2366 search results - page 139 / 474
» Mapping time
Sort
View
MFCS
2007
Springer
15 years 9 months ago
Exact Algorithms for L (2, 1)-Labeling of Graphs
The notion of distance constrained graph labelings, motivated by the Frequency Assignment Problem, reads as follows: A mapping from the vertex set of a graph G = (V, E) into an in...
Jan Kratochvíl, Dieter Kratsch, Mathieu Lie...
113
Voted
IROS
2006
IEEE
114views Robotics» more  IROS 2006»
15 years 9 months ago
Orthogonal SLAM: a Step toward Lightweight Indoor Autonomous Navigation
— Today, lightweight SLAM algorithms are needed in many embedded robotic systems. In this paper the Orthogonal SLAM (OrthoSLAM ) algorithm is presented and empirically validated....
Viet Nguyen, Ahad Harati, Agostino Martinelli, Rol...
144
Voted
FAC
2000
124views more  FAC 2000»
15 years 3 months ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman
118
Voted
ATAL
2005
Springer
15 years 9 months ago
Bumping strategies for the multiagent agreement problem
We introduce the Multiagent Agreement Problem (MAP) to represent a class of multiagent scheduling problems. MAP is based on the Distributed Constraint Reasoning (DCR) paradigm and...
Pragnesh Jay Modi, Manuela M. Veloso
124
Voted
WIOPT
2006
IEEE
15 years 9 months ago
Connection-level QoS provisioning in multiple transmission technology-based OFDM system
A state-of-the-art orthogonal frequency division multiplexing (OFDM)-based access system, such as the DiffSeg system [1][2], uses a different set of transmission technologies, e.g...
Youngkyu Choi, Sunghyun Choi, Sung-Pil Hong