1788 search results - page 324 / 358 » Model Theory for Process Algebra |
107
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Multiagent resource allocation is a timely and exciting area of research at the interface of Computer Science and Economics. One of the main challenges in this area is the high co...
123
Voted
CASES
2006
ACM
15 years 7 months ago
2006
ACM
We present a new technique for compiling run-time reconfigurable hardware designs. Run-time reconfigurable embedded systems can deliver promising benefits over implementations in ...
148
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents a methodology for using heuristic search methods to optimise cancer chemotherapy. Specifically, two evolutionary algorithms - Population Based Incremental Lear...
159
Voted
ICDT
2010
ACM
15 years 5 months ago
2010
ACM
When a query is evaluated under bag semantics, each answer is returned as many times as it has derivations. Bag semantics has long been recognized as important, especially when ag...
121
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
To create realistic and expressive virtual humans, we need to develop better models of the processes and dynamics of human emotions and expressions. A first step in this effort is...