814 search results - page 76 / 163 » Generic Model Abstraction from Examples |
119
click to vote
UM
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In this paper, we address the problem of providing guidelines to designers of mixed-initiative artificial intelligence systems, which specify when the system should take...
141
click to vote
ICCV
1995
IEEE
15 years 6 months ago
1995
IEEE
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
112
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...
116
click to vote
LICS
1996
IEEE
15 years 7 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
131
click to vote
CEFP
2005
Springer
15 years 8 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...