Sciweavers

3179 search results - page 168 / 636
» Applications of PCF Theory
Sort
View
HT
2006
ACM
14 years 4 months ago
Web 2.0: hypertext by any other name?
Web 2.0 is the popular name of a new generation of Web applications, sites and companies that emphasis openness, community and interaction. Examples include technologies such as B...
David E. Millard, Martin Ross
ER
2004
Springer
103views Database» more  ER 2004»
14 years 3 months ago
Modeling Default Induction with Conceptual Structures
Our goal is to model the way people induce knowledge from rare and sparse data. This paper describes a theoretical framework for inducing knowledge from these incomplete data descr...
Julien Velcin, Jean-Gabriel Ganascia
ESWS
2004
Springer
14 years 3 months ago
Uncertainty in Knowledge Provenance
Knowledge Provenance is an approach to determining the origin and validity of knowledge/information on the web by means of modeling and maintaining information sources and dependen...
Jingwei Huang, Mark S. Fox
SFM
2004
Springer
120views Formal Methods» more  SFM 2004»
14 years 3 months ago
Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
Jos C. M. Baeten, Michel A. Reniers
ICPR
2002
IEEE
14 years 3 months ago
Mutual Information Based Evaluation of 3D Building Models
This paper presents a metric based on information theory principles that compares 3D object models to images. The metric is based on the formulation of the mutual information betw...
Ildiko Suveg, George Vosselman