2821 search results - page 446 / 565 » Tracing a single user |
175
click to vote
FC
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Anonymity-protection techniques are crucial for various commercial and financial transactions, where participants are worried about their privacy. On the other hand, aut...
168
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
177
click to vote
ICCS
2007
Springer
16 years 18 days ago
2007
Springer
A recent trend in modern high performance computing (HPC) system architectures employs “lean” compute nodes running a lightweight operating system (OS). Certain parts of the OS...
175
click to vote
ICLP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
140
click to vote
SGAI
2007
Springer
16 years 17 days ago
2007
Springer
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...