Sciweavers

2519 search results - page 411 / 504
» Reasoning with Textual Cases
Sort
View
CORR
2004
Springer
140views Education» more  CORR 2004»
15 years 4 months ago
Checking modes of HAL programs
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generatio...
Maria J. García de la Banda, Warwick Harvey...
JETAI
1998
110views more  JETAI 1998»
15 years 4 months ago
Independency relationships and learning algorithms for singly connected networks
Graphical structures such as Bayesian networks or Markov networks are very useful tools for representing irrelevance or independency relationships, and they may be used to e cientl...
Luis M. de Campos
KI
2002
Springer
15 years 4 months ago
The Fraunhofer IESE Experience Management System
: Experience Management (EM) is an area that is increasingly gaining importance. Its roots lie in Experimental Software Engineering ("Experience Factory"), in Artificial ...
Andreas Jedlitschka, Klaus-Dieter Althoff, Bjö...
SIAMJO
2002
115views more  SIAMJO 2002»
15 years 4 months ago
Superlinearly Convergent Algorithms for Solving Singular Equations and Smooth Reformulations of Complementarity Problems
We propose a new algorithm for solving smooth nonlinear equations in the case where their solutions can be singular. Compared to other techniques for computing singular solutions, ...
Alexey F. Izmailov, Mikhail V. Solodov
CIKM
2010
Springer
15 years 3 months ago
Components for information extraction: ontology-based information extractors and generic platforms
Information Extraction (IE) has existed as a field for several decades and has produced some impressive systems in the recent past. Despite its success, widespread usage and comm...
Daya C. Wimalasuriya, Dejing Dou