Sciweavers

725 search results - page 34 / 145
» Intelligent Techniques in Stock Analysis
Sort
View
90
Voted
ECAI
1994
Springer
15 years 6 months ago
Reusing Proofs
1 We develop a learning component for a theorem prover designed for verifying statements by mathematical induction. If the prover has found a proof, it is analyzed yielding a so-ca...
Thomas Kolbe, Christoph Walther
AAAI
1990
15 years 3 months ago
The Complexity of Closed World Reasoning and Circumscription
Closed world reasoning is a common nonmonotonic technique that allows for dealing with negative information in knowledge and data bases. We present a detailed analysis of the comp...
Marco Cadoli, Maurizio Lenzerini
112
Voted
FLAIRS
2008
15 years 4 months ago
Categorizations and Annotations of Citation in Research Evaluation
Scientific evaluation is based for the most part on citation analysis. The phenomena of citation is not yet well studied. The use of the Contextual Exploration technique that allo...
Marc Bertin
134
Voted
CAEPIA
2003
Springer
15 years 7 months ago
Social Analysis of Multi-agent Systems with Activity Theory
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
75
Voted
IDEAL
2004
Springer
15 years 7 months ago
Dimensionality Reduction with Image Data
A common objective in image analysis is dimensionality reduction. The most common often used data-exploratory technique with this objective is principal component analysis. We pro...
Mónica Benito, Daniel Peña