1805 search results - page 228 / 361 » A Theory of Closure Operators |
191
click to vote
WSCG
2004
15 years 7 months ago
2004
A geometrical modelling tool allowing construction of models of living cells and their organelles would facilitate understanding of biological processes at the cellular level. Her...
217
click to vote
ROOM
2000
15 years 7 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
168
click to vote
IJCAI
1993
15 years 7 months ago
1993
Uncertainty processing methods are analysed from the viewpoint of their sensitivity to small variations of certainty factors. The analysis makes use of the algebraic theory which ...
156
click to vote
NAACL
1994
15 years 7 months ago
1994
We present an overview of Candide, a system for automatic translation of French text to English text. Candide uses methods of information theory and statistics to develop a probab...
153
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...