19798 search results - page 234 / 3960 » Is Structural Subtyping Useful |
198
click to vote
SIGMOD
2005
ACM
16 years 3 months ago
2005
ACM
We review the notion of hypertree width, a measure of the degree of cyclicity of hypergraphs that is useful for identifying and solving efficiently easy instances of hard problems...
124
click to vote
FCT
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
106
click to vote
ICCL
1992
IEEE
15 years 7 months ago
1992
IEEE
Multiparadigm programming is a term used to describe a style of software development that makes use of facilities originally designed in support of a number of di erent programmin...
COLING
2008
15 years 4 months ago
2008
This paper describes a Question Answering system which retrieves answers from structured data regarding cinemas and movies. The system represents the first prototype of a multilin...
119
click to vote
COLING
1994
15 years 4 months ago
1994
: We demonstrate an approach and an accompanying UNIX toolbox for performing wtrious kinds of Knowledge tT,xlractions and Structuring. The goal is to "practically" enhanc...