Sciweavers

1362 search results - page 104 / 273
» The Projection of Systolic Programs
Sort
View
KI
2001
Springer
15 years 9 months ago
Belief Update in the pGOLOG Framework
High-level controllers that operate robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with the effects of noisy sensors and effectors: T...
Henrik Grosskreutz, Gerhard Lakemeyer
117
Voted
SIGCSE
1998
ACM
125views Education» more  SIGCSE 1998»
15 years 9 months ago
Design patterns: an essential component of CS curricula
The field of software patterns has seen an explosion in interest in the last three years. Work to date has been on the recognition, cataloging, and finding of patterns with litt...
Owen L. Astrachan, W. Garrett Mitchener, Geoffrey ...
173
Voted
HVC
2007
Springer
153views Hardware» more  HVC 2007»
15 years 8 months ago
On the Architecture of System Verification Environments
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
Mark A. Hillebrand, Wolfgang J. Paul
169
Voted
ICCV
2011
IEEE
14 years 4 months ago
3D Reconstruction of a Smooth Articulated Trajectory from a Monocular Image Sequence
An articulated trajectory is defined as a trajectory that remains at a fixed distance with respect to a parent trajectory. In this paper, we present a method to reconstruct an a...
Hyun Soo Park, Yaser Sheikh
160
Voted
ECOOP
2011
Springer
14 years 4 months ago
An Empirical Study of Object Protocols in the Wild
Abstract. An active area of research in computer science is the prevention of violations of object protocols, i.e., restrictions on temporal orderings of method calls on an object....
Nels E. Beckman, Duri Kim, Jonathan Aldrich