2096 search results - page 206 / 420 » Modeling stream processing applications for dependability ev... |
155
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Following a recently introduced perceptual model for balanced multiwavelets, we outline, in this paper, an extension of our previous work and propose a new perceptual model for sca...
173
click to vote
AH
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The ability of an adaptive hypermedia system to create tailored environments depends mainly on the amount and accuracy of information stored in each user model. One of th...
193
click to vote
GLVLSI
2000
IEEE
15 years 11 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
147
click to vote
IJCAI
1989
15 years 7 months ago
1989
Learning how to make decisions in a domain is a critical aspect of intelligent planning behavior. The ability of a planner to adapt its decision-making to a domain depends in part...
141
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We give an algorithm that computes the final state of certain growth models without computing all intermediate states. Our technique is based on a "least action principle"...