4413 search results - page 179 / 883 » New Directions for CACM |
137
Voted
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
141
click to vote
CPAIOR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Recently, new cost-based filtering algorithms for shorter-path constraints have been developed. However, so far only the theoretical properties of shorter-path constrain...
143
Voted
ICA3PP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we propose a new parallelization scheme for Simulated Annealing — Hierarchical Parallel SA (HPSA). This new scheme features coarse-granularity in parallelization, d...
165
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Invertebrate nervous systems serve as important models for neuroscience research because they are comprised of relatively small numbers of individually identified neurons...
202
Voted
ICIAP
2005
ACM
15 years 11 months ago
2005
ACM
The future customer service provided by call centres will be changed due to new web-based interactive multimedia technologies. Technical support will be offered in a completely new...