3025 search results - page 421 / 605 » A User-Centered Location Model |
169
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Although the counterexample returned by a model checker can help in reproducing the symptom related to a defect, a significant amount of effort is often required for the programmer...
156
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
The era of distributed systems is upon us. Middlewarespecific concerns, and especially the distribution concern, which is the core of any middleware-mediated application, are addr...
184
click to vote
ENC
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a web-based application that allows a user to, walk through, see, and interact with a fully threedimensional model of an old Mexican city. The city itself motivates thi...
201
click to vote
FOCS
2004
IEEE
15 years 10 months ago
2004
IEEE
Stochastic optimization problems attempt to model uncertainty in the data by assuming that (part of) the input is specified in terms of a probability distribution. We consider the...
201
click to vote
CPAIOR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...