2638 search results - page 250 / 528 » Random Geometric Complexes |
190
click to vote
TLCA
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
171
click to vote
DIALM
2004
ACM
16 years 1 days ago
2004
ACM
In many applications of wireless ad hoc and sensor networks, position-awareness is of great importance. Often, as in the case of geometric routing, it is sufficient to have virtua...
167
click to vote
AMFG
2003
IEEE
15 years 12 months ago
2003
IEEE
This article presents a system that can recover and track the 3D speech movements of a speaker’s face for each image of a monocular sequence. A speaker-specific face model is u...
191
click to vote
COMPGEOM
2003
ACM
15 years 12 months ago
2003
ACM
We consider two variants of the well-known “sailor in the fog” puzzle. The first version (the “asteroid surveying” problem) is set in three dimensions and asks for the sh...
165
click to vote
DAWAK
2003
Springer
15 years 12 months ago
2003
Springer
On-Line Analytical Processing (OLAP) is a trend in database technology, based on the multidimensional view of data. In this paper we introduce the Cube Presentation Model (CPM), a ...