994 search results - page 135 / 199 » Modeling task allocation using a decision theoretic model |
215
click to vote
CSE
2011
IEEE
14 years 1 months ago
2011
IEEE
— In network based applications, packet capture is the main area that attracts many researchers in developing traffic monitoring systems. Along with the packet capture, many othe...
125
click to vote
KDD
2009
ACM
15 years 6 months ago
2009
ACM
Learning from data streams is a research area of increasing importance. Nowadays, several stream learning algorithms have been developed. Most of them learn decision models that c...
114
click to vote
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— In this paper we present a case study of cooperation of a strongly heterogeneous robot team, composed of a highly articulated humanoid robot and a wheeled robot with la...
165
click to vote
TACAS
2000
Springer
15 years 5 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
109
click to vote
FSTTCS
2009
Springer
15 years 8 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...