Sciweavers

1912 search results - page 98 / 383
» GOAL as a Planning Formalism
Sort
View
AIPS
1994
15 years 7 months ago
The Use of Supervenience in Dynamic-world Planning
Thispaperdescribesthe use of superveniencein integrating planningand reaction in complex,dynamicenvironments. ienceis a formof abstractionwithaffinities both action in AIplannings...
Lee Spector, James A. Hendler
SAC
2010
ACM
16 years 1 months ago
Background knowledge in formal concept analysis: constraints via closure operators
The aim of this short paper is to present a general method of using background knowledge to impose constraints in conceptual clustering of object-attribute relational data. The pr...
Radim Belohlávek, Vilém Vychodil
CLEIEJ
2000
101views more  CLEIEJ 2000»
15 years 6 months ago
Keeping the Software Documentation Up to Date in Small Companies
Software configuration management is one of the first requirements to achieve quality in the software process. However, these activities are very difficult to be introduced, mainl...
Renato Ferrari Pacheco, Rosely Sanches
IPPS
2007
IEEE
16 years 18 days ago
Formal Analysis for Debugging and Performance Optimization of MPI
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
Ganesh Gopalakrishnan, Robert M. Kirby
ATAL
1997
Springer
15 years 10 months ago
A Formal Specification of dMARS
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
Mark d'Inverno, David Kinny, Michael Luck, Michael...