Sciweavers

179 search results - page 16 / 36
» Satellite Control Using Rational Agent Programming
Sort
View
90
Voted
WCRE
1993
IEEE
15 years 4 months ago
Flexible Control for Program Recognition
Recognizing commonly used data structures and algorithms is a key activity in reverse engineering. Systems developed to automate this recognition process have been isolated, stand...
Linda M. Wills
POPL
2010
ACM
15 years 9 months ago
Continuity Analysis of Programs
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerm...
AAAI
2004
15 years 1 months ago
Adding Time and Intervals to Procedural and Hierarchical Control Specifications
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
Tran Cao Son, Chitta Baral, Le-Chi Tuan
96
Voted
AEI
2005
102views more  AEI 2005»
15 years 10 days ago
Manufacturing planning and predictive process model integration using software agents
Intelligent agents provide a means to integrate various manufacturing software applications. The agents are typically executed in a computer-based collaborative environment, refer...
Shaw C. Feng, Keith A. Stouffer, Kevin K. Jurrens
WOA
2000
15 years 1 months ago
Implementing Autonomous Reactive Agents by Using Active Objects
This paper briefly outlines the main characteristics of an ongoing research aimed at developing a support library for implementing systems based on autonomous agents. The library ...
Giuliano Armano, Eloisa Vargiu