7504 search results - page 295 / 1501 » Computing with Action Potentials |
104
click to vote
AAAI
2008
15 years 5 months ago
2008
Game theory has been playing an increasingly visible role in computer science in general and AI in particular, most notably in the area of multiagent systems. I briefly list the a...
95
Voted
EXACT
2007
15 years 5 months ago
2007
In a military context, the process of planning operations involves the assessment of the situation, the identification of the most appropriate course of action, the description of...
131
Voted
COORDINATION
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We show how to extend a coordination language with support for aspect oriented programming. The main challenge is how to properly deal with the trapping of actions before...
146
Voted
TCS
1998
15 years 2 months ago
1998
A method is described for proving “always possibly” properties of specifications in formalisms with linear-time trace semantics. It is shown to be relatively complete for TLA...
119
click to vote
ACS
2011
14 years 9 months ago
2011
Using the parallel between the preframe and the suplattice approach to locale theory it is shown that the patch construction, as an action on topologies, is the same thing as the ...