3185 search results - page 437 / 637 » Domain and language evaluation results |
208
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Several approaches to collaborative filtering have been studied but seldom have studies been reported for large (several million users and items) and dynamic (the underlying item ...
216
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
310
click to vote
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
A long-standing goal of Web research has been to construct a unified Web knowledge base. Information extraction techniques have shown good results on Web inputs, but even most dom...
200
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
215
click to vote
SEMCO
2009
IEEE
16 years 1 months ago
2009
IEEE
In the field of business document standardization a multitude of different standardization efforts exist. Unfortunately, most of the developed standards are designed for a speci...