1280 search results - page 116 / 256 » Soft Typing with Conditional Types |
ICDE
2006
IEEE
14 years 10 months ago
2006
IEEE
Extracting and integrating object information from the Web is of great significance for Web data management. The existing Web information extraction techniques cannot provide sati...
ICML
2002
IEEE
14 years 10 months ago
2002
IEEE
We investigate the following problem: Given a set of documents of a particular topic or class ?, and a large set ? of mixed documents that contains documents from class ? and othe...
DCC
2010
IEEE
14 years 4 months ago
2010
IEEE
In this work we describe a sequence compression method based on combining a Bayesian nonparametric sequence model with entropy encoding. The model, a hierarchy of Pitman-Yor proce...
CALCO
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
SARA
2009
Springer
14 years 3 months ago
2009
Springer
Classical planning deals with finding a (shortest) sequence of actions transferring the world from its initial state to a state satisfying the goal condition. Traditional planning...