2052 search results - page 168 / 411 » Direct Combination |
125
click to vote
ASE
1999
15 years 3 months ago
1999
Legacy software systems present a high level of entropy combined with imprecise documentation. This makes their maintenance more difficult, more time consuming, and costlier. In or...
113
Voted
CG
1999
Springer
15 years 3 months ago
1999
Springer
The Iamascope is an interactive, electronic kaleidoscope. The Iamascope combines computer video, graphics, vision, and audio technology for performers to create striking imagery a...
114
click to vote
CP
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we show that the power of using k-consistency techniques in a constraint problem is precisely captured by using a particular inference rule, which we call positive-hy...
86
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— We present an approach that builds upon previous developments in unmanned air vehicles and climbing robots and seeks to emulate the capabilities of bats, insects and certain bi...
137
click to vote
LICS
2010
IEEE
15 years 2 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...