4763 search results - page 693 / 953 » On the Execution of Deep Models |
212
click to vote
MVA
1996
15 years 8 months ago
1996
automatically updated during the matching process, This paper describes a real-time tracking system which detects an object entering into the field of view of camera and executes t...
175
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
186
click to vote
FMSD
2006
15 years 7 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
204
click to vote
CLUSTER
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Software component technologies are being accepted as an adequate solution for handling the complexity of applications. However, existing software component models tend...
197
click to vote
PC
2006
15 years 7 months ago
2006
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...