22698 search results - page 4134 / 4540 » Modeling in Software Engineering |
148
Voted
RIAO
2000
15 years 6 months ago
2000
This article deals with telemedicine and in particular with telesonography. Telesonography is real-time video collaboration for remote ultrasound examinations. We present here an ...
110
click to vote
EUROSIM
1994
15 years 6 months ago
1994
This paper introduces Pact, a new model for parallel heuristic programming on MIMD machines. Designed and implemented as an integrated tool environment, Pact allows the user to dev...
137
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
159
Voted
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
Artificial agents trying to achieve communicative goals in situated interactions in the real-world need powerful computational systems for conceptualizing their environment. In ord...
149
click to vote
ICML
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper develops a generalized apprenticeship learning protocol for reinforcementlearning agents with access to a teacher who provides policy traces (transition and reward obse...