5695 search results - page 411 / 1139 » Using Many Cameras as One |
208
click to vote
SCIA
2005
Springer
16 years 1 months ago
2005
Springer
Images are being produced and made available in ever increasing numbers; but how can we find images "like this one" that are of interest to us? Many different systems hav...
215
click to vote
CC
2004
Springer
16 years 1 months ago
2004
Springer
When a compiler translates a procedure, it must lay out the procedure’s stack frame in a way that respects the calling convention. Many compilers respect the convention either by...
263
click to vote
FASE
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. A Sentient Computing environment is one in which the system is able to perceive the state of the physical world and use this information to customise its behaviour. Mobil...
236
click to vote
IMR
2003
Springer
16 years 24 days ago
2003
Springer
Generation of surface meshes remains an active research problem despite the many publications addressing this topic. The main issues which must be treated by a good remeshing algo...
187
click to vote
TPHOL
2002
IEEE
16 years 15 days ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...