586 search results - page 7 / 118 » Automated Reasoning on Aspects Interactions |
87
Voted
EWCBR
1998
Springer
15 years 4 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...
109
click to vote
LPNMR
2005
Springer
15 years 5 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
15 years 4 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...
111
Voted
DEBU
2006
15 years 8 days 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 ...
120
Voted
CSL
2000
Springer
15 years 4 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...