3053 search results - page 238 / 611 » Structured Objects: Modeling and Reasoning |
127
click to vote
ICHIM
2001
15 years 5 months ago
2001
The issues of digital preservation of shapes and internal structures of historical and cultural objects are discussed. An overview of existing approaches to computer modeling of s...
124
click to vote
TSMC
2002
15 years 3 months ago
2002
We present an objective approach for evaluating probability and structure elicitation methods in probabilistic models. The main idea is to use the model derived from the experts�...
136
click to vote
ECML
2001
Springer
15 years 8 months ago
2001
Springer
Conventional work on scienti c discovery such as BACON derives empirical law equations from experimental data. In recent years, SDS introducing mathematical admissibility constrain...
148
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
114
click to vote
CIKM
1999
Springer
15 years 8 months ago
1999
Springer
The paper is concerned with the qualitative representation of spatiotemporal relations. We initially propose a multiresolution framework for the representation of relations among ...