10568 search results - page 689 / 2114 » Computer Intelligence and Formalization |
164
click to vote
IEEEPACT
2000
IEEE
15 years 11 months ago
2000
IEEE
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...
194
click to vote
SGP
2003
15 years 8 months ago
2003
In this paper we develop a new description for subdivision surfaces based on a graph grammar formalism. Subdivision schemes are specified by a context sensitive grammar in which ...
189
click to vote
IPL
2006
15 years 7 months ago
2006
In this paper we investigate P systems whose compartments contain sets of symbolobjects rather than multisets of objects, as it is common in membrane computing. If the number of m...
194
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
We consider Coalitional Skill Games (CSGs), a simple model of cooperation among agents. This is a restricted form of coalitional games, where each agent has a set of skills that a...
182
click to vote
CVPR
2006
IEEE
16 years 9 months ago
2006
IEEE
It is widely conjectured that the excellent ROC performance of biological vision systems is due in large part to the exploitation of context at each of many levels in a part/whole...