10568 search results - page 207 / 2114 » Computer Intelligence and Formalization |
143
click to vote
FAST
2009
15 years 25 days ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
131
click to vote
ACL
2011
14 years 6 months ago
2011
A system making optimal use of available information in incremental language comprehension might be expected to use linguistic knowledge together with current input to revise beli...
TCS
1998
15 years 2 months ago
1998
In this paper we present an alternative order-theoretic proof of the Banach fixed point theorem for selfmaps on complete metric spaces which is based on formal balls and, contrary...
169
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
155
click to vote
AI
2010
Springer
15 years 3 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...