402 search results - page 44 / 81 » Probability, Parallelism and the State Space Exploration Pro... |
PPSN
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. In this paper, we elaborate how decision space diversity can be integrated into indicator-based multiobjective search. We introduce DIOP, the diversity integrating multio...
AAAI
2008
13 years 10 months ago
2008
Most former studies of Distributed Constraint Optimization Problems (DisCOPs) search considered only complete search algorithms, which are practical only for relatively small prob...
ASSETS
2000
ACM
14 years 9 days ago
2000
ACM
Manipulating a mouse pointer is often difficult for the low vision computer user. Working with such a small, mobile screen object is very visually demanding. Although several tech...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
IANDC
2006
13 years 8 months ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...