Sciweavers

2317 search results - page 183 / 464
» Model based testing for agent systems
Sort
View
ATAL
2011
Springer
14 years 3 months ago
Agent-based control for decentralised demand side management in the smart grid
Central to the vision of the smart grid is the deployment of smart meters that will allow autonomous software agents, representing the consumers, to optimise their use of devices ...
Sarvapali D. Ramchurn, Perukrishnen Vytelingum, Al...
AAAI
2000
15 years 5 months ago
Visual Event Classification via Force Dynamics
This paper presents an implemented system, called LEONARD, that classifies simple spatial motion events, such as pick up and put down, from video input. Unlike previous systems th...
Jeffrey Mark Siskind
IJCAI
2003
15 years 5 months ago
Recognizing Plan/Goal Abandonment
The ability to recognize when an agent abandons a plan is an open problem in the plan recognition literature and is a significant problem if these methods are to be applied in rea...
Christopher W. Geib, Robert P. Goldman
CPE
1994
Springer
170views Hardware» more  CPE 1994»
15 years 8 months ago
Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
Allen D. Malony, Vassilis Mertsiotakis, Andreas Qu...
SSIRI
2010
15 years 2 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit