4290 search results - page 335 / 858 » Formal Approaches to Teamwork |
204
click to vote
ICW
2005
IEEE
16 years 1 months ago
2005
IEEE
Reconfiguration and self-adaptation are vital capabilities of sensor networks and networked embedded systems that are required to operate in dynamic environments. This paper prese...
168
click to vote
DSVIS
2005
Springer
16 years 1 months ago
2005
Springer
We introduce a formal model of inconsistency-related mode confusion. This forms the basis of a heuristic methodology for critiquing user interfaces, using a matrix algebra approach...
217
click to vote
GBRPR
2005
Springer
16 years 1 months ago
2005
Springer
A method allowing to integrate syntactic and semantic approaches in an automatic segmentation process is described. This integration is possible thanks to the formalism of graphs....
212
click to vote
ICTAC
2004
Springer
16 years 29 days ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
205
click to vote
KI
2004
Springer
16 years 29 days ago
2004
Springer
This paper proposes a new corpus-based approach for deriving syntactic structures and generating parse trees of natural language sentences. The parts of speech (word categories) of...