8337 search results - page 241 / 1668 » Reasoning With Characteristic Models |
161
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
The aim of this paper is to determine aspects to be considered in Bunge’s ontological models in order to obtain an Integrated Ontological Model of Information Systems (IOMIS). Th...
160
click to vote
IJCAI
2003
15 years 7 months ago
2003
This paper describes a jam session system that enables a human player to interplay with virtual players which can imitate the player personality models of various human players. P...
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
A power law degree distribution is established for a graph evolution model based on the graph class of k-trees. This k-tree-based graph process can be viewed as an idealized model...
157
Voted
LICS
1989
IEEE
15 years 10 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
215
click to vote
FMLDO
2000
Springer
15 years 9 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...