586 search results - page 7 / 118 » Automated Reasoning on Aspects Interactions |
EWCBR
1998
Springer
13 years 11 months ago
1998
Springer
In this paper, an interactive system for the development of Image Processing applications is described. This system is intended to provide some assistance to Image Processing exper...
LPNMR
2005
Springer
14 years 1 months ago
2005
Springer
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
MSE
1999
IEEE
13 years 12 months ago
1999
IEEE
Team projects represent an important aspect of the microelectronic systems education. In group projects, students learn to work together, delegate responsibilities, and manage tim...
DEBU
2006
13 years 7 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...
CSL
2000
Springer
13 years 12 months ago
2000
Springer
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...