Sciweavers

2024 search results - page 257 / 405
» The Meaning of Ordered SOS
Sort
View
ROBOCUP
1999
Springer
115views Robotics» more  ROBOCUP 1999»
15 years 11 months ago
Robot Football Team from Minho University
This paper describes an Autonomous Mobile Robot team which plays football, developed by the Group of Automation and Robotics at the Industrial Electronics department of the Univers...
Carlos Machado, Ilídio Costa, Sérgio...
IPPS
1998
IEEE
15 years 11 months ago
Partitioned Schedules for Clustered VLIW Architectures
This paper presents results on a new approach to partitioning a modulo-scheduled loop for distributed execution on parallel clusters of functional units organized as a VLIW machin...
Marcio Merino Fernandes, Josep Llosa, Nigel P. Top...
VISUALIZATION
1998
IEEE
15 years 11 months ago
Fast and memory efficient polygonal simplification
Conventional wisdom says that in order to produce high-quality simplified polygonal models, one must retain and use information about the original model during the simplification ...
Peter Lindstrom, Greg Turk
VL
1998
IEEE
130views Visual Languages» more  VL 1998»
15 years 11 months ago
SAM - An Animated 3D Programming Language
This article presents the animated visual 3D programming language SAM (Solid Agents in Motion) for parallel systems specification and animation. A SAM program is a set of interact...
Christian Geiger, Wolfgang Müller 0003, Walde...
B
1998
Springer
15 years 11 months ago
Introducing Dynamic Constraints in B
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...
Jean-Raymond Abrial, Louis Mussat