4838 search results - page 769 / 968 » Sampling of information goods |
173
click to vote
CP
1995
Springer
15 years 10 months ago
1995
Springer
We present a new heuristic approach for maximal constraint satisfaction of overconstrained problems (MAX-CSP). This approach is based on a formulation of CSP as an optimization pro...
181
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...
179
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
A visual navigation system is described which uses texture mapped primitives to represent clusters of objects to maintain high and approximately constant frame rates. In cases whe...
193
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
226
click to vote
IPAS
2010
15 years 9 months ago
2010
View plus depth` is a 3D video representation where a single color video channel is augmented with per-pixel depth information in the form of gray-scale video sequence. This repre...