1143 search results - page 203 / 229 » Mental models of recursion |
87
Voted
ICCV
1995
IEEE
15 years 1 months ago
1995
IEEE
A new technique is presented for computing 3D scene structure from point and line features in monocular image sequences. Unlike previous methods, the technique guarantees the comp...
62
Voted
FASE
2010
Springer
15 years 1 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...
99
Voted
USENIX
2007
15 years 16 days ago
2007
Current approaches to power management are based on operating systems with full knowledge of and full control over the underlying hardware; the distributed nature of multi-layered...
NIPS
2003
14 years 11 months ago
2003
We describe a pattern acquisition algorithm that learns, in an unsupervised fashion, a streamlined representation of linguistic structures from a plain natural-language corpus. Th...
87
Voted
SGP
2003
14 years 11 months ago
2003
Previous parametric representations of smooth genus-zero surfaces require a collection of abutting patches (e.g. splines, NURBS, recursively subdivided polygons). We introduce a s...