1668 search results - page 9 / 334 » Two Philosophical Applications of Algorithmic Information Th... |
KDD
2002
ACM
15 years 12 months ago
2002
ACM
Abstract. Since more and more Web sites, especially sites of retailers, offer automatic recommendation services using Web usage mining, evaluation of recommender algorithms has bec...
ICPR
2010
IEEE
14 years 9 months ago
2010
IEEE
Wireless Capsule Endoscopy (WCE) is a technical break-through that allows to produce a video of the entire intestine without surgery. It is reported that a medical clinician spend...
CONCUR
2001
Springer
15 years 4 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
JITECH
2010
14 years 10 months ago
2010
We propose a design theory that tackles dynamic complexity in the design for Information Infrastructures (IIs) defined as a shared, open, heterogeneous and evolving socio-technica...
121
click to vote
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...