Sciweavers

1998 search results - page 352 / 400
» Situated Control Rules
Sort
View
RSP
2003
IEEE
169views Control Systems» more  RSP 2003»
15 years 9 months ago
Rapid Prototyping and Incremental Evolution Using SLAM
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
Ángel Herranz-Nieva, Juan José Moren...
VR
2003
IEEE
163views Virtual Reality» more  VR 2003»
15 years 9 months ago
Ribbon Networks for Modeling Navigable Paths of Autonomous Agents in Virtual Urban Environments
This paper presents a real-time database modeling complex networks of intersecting roads and walkways in urban virtual environments. The database represents information about the ...
Peter Willemsen, Joseph K. Kearney, Hongling Wang
WCRE
2003
IEEE
15 years 9 months ago
RegReg: a Lightweight Generator of Robust Parsers for Irregular Languages
In reverse engineering, parsing may be partially done to extract lightweight source models. Parsing code containing preprocessing directives, syntactical errors and embedded langu...
Mario Latendresse
TLDI
2003
ACM
15 years 9 months ago
The logical approach to stack typing
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
Amal J. Ahmed, David Walker
AUSAI
2003
Springer
15 years 9 months ago
Efficiently Mining Frequent Patterns from Dense Datasets Using a Cluster of Computers
Efficient mining of frequent patterns from large databases has been an active area of research since it is the most expensive step in association rules mining. In this paper, we pr...
Yudho Giri Sucahyo, Raj P. Gopalan, Amit Rudra