963 search results - page 183 / 193 » Actors as a Coordinating Model of Computation |
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
BMCBI
2006
14 years 9 months ago
2006
Background: REX1 and REX2 are protein components of the RNA editing complex (the editosome) and function as exouridylylases. The exact roles of REX1 and REX2 in the editosome are ...
COGSCI
2004
14 years 9 months ago
2004
Disfluencies include editing terms such as uh and um as well as repeats and revisions. Little is known about how disfluencies are processed, and there has been next to no research...
AROBOTS
1998
14 years 9 months ago
1998
Off-road autonomous navigation is one of the most difficult automation challenges from the point of view of constraints on mobility, speed of motion, lack of environmental structur...
ALIFE
1999
14 years 9 months ago
1999
An arti cial life entertainment-software product called Creatures was released in Europe in late 1996 and in the United States and Japan in mid-1997. When installed on a domestic c...