154 search results - page 3 / 31 » Reasoning about edits to feature models |
ECOOP
2005
Springer
14 years 29 days ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
GIS
2008
ACM
14 years 8 months ago
2008
ACM
Network data models are widely used to describe the connectivity between spatial features in GIS architectures. Recent applications demand that such models are editable in multius...
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
AAAI
1993
13 years 8 months ago
1993
One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Appr...
AAAI
1998
13 years 8 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...