Sciweavers

6014 search results - page 807 / 1203
» Structural Testing with Use Cases
Sort
View
AAAI
2010
15 years 7 months ago
Soundness Preserving Approximation for TBox Reasoning
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
Yuan Ren, Jeff Z. Pan, Yuting Zhao
LREC
2010
150views Education» more  LREC 2010»
15 years 7 months ago
Spanish FreeLing Dependency Grammar
This paper presents the development of an open-source Spanish Dependency Grammar implemented in FreeLing environment. This grammar was designed as a resource for NLP applications ...
Marina Lloberes, Irene Castellón, Llu&iacut...
200
Voted
UAI
2008
15 years 7 months ago
Convergent Message-Passing Algorithms for Inference over General Graphs with Convex Free Energies
Inference problems in graphical models can be represented as a constrained optimization of a free energy function. It is known that when the Bethe free energy is used, the fixedpo...
Tamir Hazan, Amnon Shashua
BIOCOMP
2006
15 years 7 months ago
PAC: Progressive Alignment with Consensus Sequences
Computation of multiple sequence alignments is one of the major open problems in computational molecular biology. The purpose of this study was to provide a new method, PAC (Progre...
Ke Liu, Mansur H. Samadzadeh
DELOS
2004
15 years 7 months ago
A Hierarchical Super Peer Network for Distributed Artifacts
Abstract. The transition from traditional paper libraries to digital libraries enables new strategies for the use and maintenance of artifact collections. Distributed software deve...
Ludger Bischofs, Wilhelm Hasselbring, Jürgen ...