5082 search results - page 419 / 1017 » Actionable Information in Vision |
194
click to vote
IASSE
2004
15 years 8 months ago
2004
The Rationale-based Analysis Tool (RAT) supports analysts, developers, clients and end users during the objectoriented requirements analysis activity. The tool enables different s...
184
click to vote
ECSCW
2001
15 years 8 months ago
2001
Abstract. Team automata provide a framework for capturing notions like coordination, colon, and cooperation in distributed systems. They consist of an abstract specification of com...
179
click to vote
OPODIS
2003
15 years 8 months ago
2003
In this paper, we give an efficient algorithm to determine whether a locally stable predicate has become true in an underlying computation. Examples of locally stable predicates in...
167
click to vote
ACL
1998
15 years 8 months ago
1998
The view that communication is a form of action serving a variety of specific functions has had a tremendous impact on the philosophy of language and on computational linguistics....
167
click to vote
FLAIRS
2000
15 years 8 months ago
2000
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...