Sciweavers

982 search results - page 117 / 197
» The reflective transformative design process
Sort
View
ICRA
2010
IEEE
113views Robotics» more  ICRA 2010»
14 years 8 months ago
Geometric formation control for autonomous underwater vehicles
— This paper presents a novel approach based on Jacobi shape theory and geometric reduction for formation control of autonomous underwater vehicles (AUVs). We consider a three de...
Huizhen Yang, Fumin Zhang
ICFP
2003
ACM
15 years 10 months ago
Compiler implementation in a formal logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
Jason Hickey, Aleksey Nogin, Adam Granicz
CVPR
2010
IEEE
15 years 6 months ago
Learning Mid-Level Features For Recognition
Many successful models for scene or object recognition transform low-level descriptors (such as Gabor filter responses, or SIFT descriptors) into richer representations of interme...
Y-Lan Boureau, Francis Bach, Yann LeCun, Jean Ponc...
CGO
2005
IEEE
15 years 3 months ago
Practical and Accurate Low-Level Pointer Analysis
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
Bolei Guo, Matthew J. Bridges, Spyridon Triantafyl...
SIGMETRICS
2002
ACM
107views Hardware» more  SIGMETRICS 2002»
14 years 9 months ago
Passage time distributions in large Markov chains
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...
Peter G. Harrison, William J. Knottenbelt