Sciweavers

8780 search results - page 1550 / 1756
» On the Feasibility of Consistent Computations
Sort
View
SAC
2004
ACM
16 years 20 days ago
Dynamic on-demand updating of data in real-time database systems
The amount of data handled by real-time and embedded applications is increasing. Also, applications normally have constraints with respect to freshness and timeliness of the data ...
Thomas Gustafsson, Jörgen Hansson
ASM
2004
ASM
16 years 19 days ago
Observations on the Decidability of Transitions
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
Yuri Gurevich, Rostislav Yavorskiy
CPM
2004
Springer
144views Combinatorics» more  CPM 2004»
16 years 19 days ago
A Simple Optimal Representation for Balanced Parentheses
We consider succinct, or highly space-efficient, representations of a (static) string consisting of n pairs of balanced parentheses, that support natural operations such as findi...
Richard F. Geary, Naila Rahman, Rajeev Raman, Venk...
RT
2004
Springer
16 years 17 days ago
All-Frequency Relighting of Non-Diffuse Objects using Separable BRDF Approximation
This paper presents a technique, based on pre-computed light transport and separable BRDF approximation, for interactive rendering of non-diffuse objects under all-frequency envir...
Rui Wang 0003, John Tran, David P. Luebke
WAPCV
2004
Springer
16 years 17 days ago
Towards a Biologically Plausible Active Visual Search Model
Abstract. This paper proposes a neuronal-based solution to active visual search, that is, visual search for a given target in displays that are too large in spatial extent to be in...
Andrei Zaharescu, Albert L. Rothenstein, John K. T...
« Prev « First page 1550 / 1756 Last » Next »