Sciweavers

3864 search results - page 364 / 773
» time 2005
Sort
View
178
Voted
RSFDGRC
2005
Springer
127views Data Mining» more  RSFDGRC 2005»
16 years 8 days ago
Hierarchical Information Maps
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...
Andrzej Skowron, Piotr Synak
RT
2005
Springer
16 years 8 days ago
Fast Exact From-Region Visibility in Urban Scenes
We present a fast exact from-region visibility algorithm for 2.5D urban scenes. The algorithm uses a subdivision of line space for identifying visibility interactions in a 2D foot...
Jirí Bittner, Peter Wonka, Michael Wimmer
RT
2005
Springer
16 years 8 days ago
Online Construction of Surface Light Fields
We present a system for interactively capturing, constructing, and rendering surface light fields by incrementally building a low rank approximation to the surface light field. ...
Greg Coombe, Chad Hantak, Anselmo Lastra, Radek Gr...
152
Voted
RTA
2005
Springer
16 years 8 days ago
Open. Closed. Open
Abstract. As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewrit...
Nachum Dershowitz
SAS
2005
Springer
132views Formal Methods» more  SAS 2005»
16 years 8 days ago
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
Roberto Bagnara, Enric Rodríguez-Carbonell,...