Sciweavers

2214 search results - page 130 / 443
» Complexity of Reasoning
Sort
View
DLOG
2008
15 years 5 months ago
Realization Problem for Formal Concept Analysis
Formal Concept Analysis (FCA) is an approach to knowledge engineering, representation, and analysis. A `standard' FCA-workflow starts with some `experimental' data, class...
Nikolay Shilov
CVPR
2005
IEEE
16 years 5 months ago
Hybrid Joint-Separable Multibody Tracking
Statistical models for tracking different moving bodies must be able to reason about occlusions in order to be effective. Representing the joint statistics across different bodies...
Oswald Lanz, Roberto Manduchi
ICWE
2007
Springer
15 years 9 months ago
The Use of a Bayesian Network for Web Effort Estimation
The objective of this paper is to describe the use of a probabilistic approach to Web effort estimation by means of a Bayesian Network. A Bayesian Network is a model that embodies ...
Emilia Mendes
152
Voted
CORR
2010
Springer
180views Education» more  CORR 2010»
15 years 23 days ago
XSB: Extending Prolog with Tabled Logic Programming
The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this ar...
Terrance Swift, David Scott Warren
BIRTHDAY
2009
Springer
15 years 10 months ago
Foundations of Temporal Conceptual Data Models
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
Alessandro Artale, Enrico Franconi