1199 search results - page 108 / 240 » Automated Extraction of Problem Structure |
109
click to vote
COORDINATION
2005
Springer
15 years 7 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
121
Voted
CLEF
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The problem of nding documents that are written in a language that the searcher cannot read is perhaps the most challenging application of Cross-Language Information Retr...
110
click to vote
TPHOL
1999
IEEE
15 years 6 months ago
1999
IEEE
We present a development of Universal Algebra inside Type Theory, formalized using the proof assistant Coq. We define the notion of a signature and of an algebra over a signature. ...
115
Voted
DLOG
2007
15 years 4 months ago
2007
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
123
click to vote
ECSQARU
2009
Springer
15 years 1 days ago
2009
Springer
We claim that divisible residuated lattices (DRLs) can act as a unifying evaluation framework for soft constraint satisfaction problems (soft CSPs). DRLs form the algebraic semanti...