31387 search results - page 6203 / 6278 » Abstracting abstract machines |
ICRA
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract-- This paper presents a framework for generating time-optimal velocity profiles for a group of pathconstrained vehicle robots that have fixed and known initial and goal lo...
ICRA
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract-- We propose a new method for automatically accessing an internet database of 3D models that are searchable only by their user-annotated labels, for using them for vision ...
ICSR
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
IDA
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Independent Subspace Analysis (ISA) is an extension of Independent Component Analysis (ICA) that aims to linearly transform a random vector such as to render groups of it...
IEEEPACT
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract--Version management, one of the key design dimensions of Hardware Transactional Memory (HTM) systems, defines where and how transactional modifications are stored. Current...