7075 search results - page 1268 / 1415 » Models and heterogeneous reasoning |
119
click to vote
TPHOL
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
134
click to vote
VL
2003
IEEE
15 years 7 months ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...
103
click to vote
HT
2003
ACM
15 years 7 months ago
2003
ACM
Analogy-based estimation has, over the last 15 years, and particularly over the last 7 years, emerged as a promising approach with comparable accuracy to, or better than, algorith...
115
click to vote
AUSAI
2003
Springer
15 years 7 months ago
2003
Springer
We describe novel approaches to multimedia analysis and synthesis problems. We first present the experiential sampling technique which has the ability to focus on the analysis task...
CAISE
2003
Springer
15 years 7 months ago
2003
Springer
The emergence of new information and communication system technologies allow the appearance of new techniques of data processing. Thus, it is increasingly difficult to user to find...