5227 search results - page 112 / 1046 » Constructing New Media |
147
click to vote
DCC
2006
IEEE
16 years 6 months ago
2006
IEEE
We give new recursive constructions of complete caps in PG(n, 2). We approach the problem of constructing caps with low dependency via the doubling construction and comparison to ...
149
click to vote
ROBOCUP
2004
Springer
15 years 11 months ago
2004
Springer
We describe a new method for detecting features on a marked RoboCup field. We implemented the framework for robots with omnidirectional vision, but the method can be easily adapte...
152
click to vote
TLCA
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we introduce a new type system, the Implicit Calculus of Constructions, which is a Curry-style variant of the Calculus of Constructions that we extend by adding an i...
157
click to vote
ASSETS
2000
ACM
15 years 10 months ago
2000
ACM
When blind people wish to walk through an area not fully known to them, they have to prepare themselves even more thoroughly than sighted pedestrians. We propose a new approach to...
167
click to vote
WSC
2008
15 years 8 months ago
2008
This paper describes a framework of real-time simulation for modeling heavy construction operations. Compared with the traditional offline simulation that uses stationary inputs, ...