40 search results - page 2 / 8 » Combinatory Formulations of Concurrent Languages |
214
Voted
POPL
2008
ACM
16 years 29 days ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
120
Voted
EOR
2011
14 years 4 months ago
2011
Combinatorial auctions have been used in procurement markets with economies of scope. Preference elicitation is already a problem in single-unit combinatorial auctions, but it bec...
106
Voted
ENTCS
2006
15 years 20 days ago
2006
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
139
Voted
CONCUR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
135
click to vote
IJCAI
1997
15 years 2 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...