Sciweavers

8780 search results - page 1550 / 1756
» On the Feasibility of Consistent Computations
Sort
View
SAC
2004
ACM
15 years 12 months 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
15 years 12 months 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»
15 years 12 months 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
15 years 12 months 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
15 years 12 months 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 »