4290 search results - page 337 / 858 » Formal Approaches to Teamwork |
183
click to vote
ARGMAS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper presents a coherentist approach to argumentation that extends previous proposals on cognitive coherence based agent communication pragmatics (inspired from soc...
202
click to vote
ROBOCUP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
243
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
One important part of a HW/SW codesign system is the scheduler which is needed in order to determine if a given HW/SW partitioning is suitable for a given application. In this pap...
219
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
This paper motivates a novel metamodel and methodology for specifying cross-organizational business interactions that is based on Tropos. Current approaches for business modeling a...
206
click to vote
MVA
2007
15 years 9 months ago
2007
In this paper we present a stochastic sampling approach to estimate multiple human trajectory in the meeting. The algorithm is formalized as a energy minimization problem based on...