Sciweavers

5205 search results - page 869 / 1041
» Tilings and model theory
Sort
View
ICRA
2003
IEEE
101views Robotics» more  ICRA 2003»
15 years 11 months ago
A Branch-and-Prune Algorithm for Solving Systems of Distance Constraints
— Given a set of affine varieties in ℜ3, i.e. planes, lines, and points, the problem tackled in this paper is that of finding all possible configurations for these varieties...
Josep M. Porta, Federico Thomas, Lluís Ros,...
INFOCOM
2003
IEEE
15 years 11 months ago
Network Management Information For Light-Path Assessment: Trade-off between Performance and Complexity
We investigate network management information for light-path assessment to dynamically set up end-to-end lightpaths across administrative domains. Our focus is on invetigating what...
Guanglei Liu, Chuanyi Ji, Vincent W. S. Chan
IRI
2003
IEEE
15 years 11 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
ISIPTA
2003
IEEE
111views Mathematics» more  ISIPTA 2003»
15 years 11 months ago
Convex Imprecise Previsions: Basic Issues and Applications
In this paper we study two classes of imprecise previsions, which we termed convex and centered convex previsions, in the framework of Walley’s theory of imprecise previsions. W...
Renato Pelessoni, Paolo Vicig
ISIPTA
2003
IEEE
111views Mathematics» more  ISIPTA 2003»
15 years 11 months ago
The DecideIT Decision Tool
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...
Mats Danielson, Love Ekenberg, Jim Johansson, Aron...