3954 search results - page 407 / 791 » Image-based Model Completion |
133
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
139
Voted
SDM
2009
SIAM
16 years 2 months ago
2009
SIAM
In this paper, we propose a privacy model that offers trajectory privacy to the requesters of Location-Based Services (LBSs), by utilizing an underlying network of user movement. ...
126
click to vote
ALT
2000
Springer
16 years 1 months ago
2000
Springer
This paper provides a systematic study of inductive inference of indexable concept classes in learning scenarios in which the learner is successful if its final hypothesis describ...
150
click to vote
IPPS
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we consider the interaction between application programmers and tools that automatically search a space of application-level parameters that are believed to impact ...
113
Voted
AUSDM
2007
Springer
15 years 11 months ago
2007
Springer
The efficient market hypothesis states that the market incorporates all available information to provide an accurate valuation of the asset at any given time. However, most models...