2705 search results - page 295 / 541 » Formal Ontology for Subject |
111
Voted
SAC
2006
ACM
15 years 29 days ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
117
click to vote
CL
2002
Springer
15 years 26 days ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
102
Voted
SIGIR
2002
ACM
15 years 21 days ago
2002
ACM
This paper follows a formal approach to information retrieval based on statistical language models. By introducing some simple reformulations of the basic language modeling approa...
90
Voted
ML
2007
ACM
15 years 17 days ago
2007
ACM
The problem of disjoint sets, also known as union-find, consists in maintaining a partition of a finite set within a data structure. This structure provides two operations: a fu...
124
Voted
MICS
2008
15 years 16 days ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...