1247 search results - page 188 / 250 » A Generalization of Jumps and Labels |
GLVLSI
2002
IEEE
15 years 2 months ago
2002
IEEE
As an efficient representation of Extended Finite State Machines, Multiway Decision Graphs (MDG) are suitable for automatic hardware verification of Register Transfer Level (RTL) ...
CIKM
2001
Springer
15 years 2 months ago
2001
Springer
The Web is a valuable source of language speci c resources but the process of collecting, organizing and utilizing these resources is di cult. We describe CorpusBuilder, an approa...
ECML
2001
Springer
15 years 2 months ago
2001
Springer
Modern agent and mediator systems communicate to a multitude of Web information providers to better satisfy user requests. They use wrappers to extract relevant information from HT...
ICMCS
1999
IEEE
15 years 2 months ago
1999
IEEE
We present a system at the junction between Computer Vision and Computer Graphics, to produce a 3-D model of an object as observed in a single image, with a minimum of high-level ...
SIGIR
1998
ACM
15 years 2 months ago
1998
ACM
We discuss two learning algorithms for text filtering: modified Rocchio and a boosting algorithm called AdaBoost. We show how both algorithms can be adapted to maximize any gene...