8025 search results - page 98 / 1605 » Combinators Introduction: An Algorithm |
106
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
This paper presents a technique for preprocessing combinational logic before technology mapping. The technique is based on the representation of combinational logic using And-Inve...
106
click to vote
ICML
2006
IEEE
16 years 2 months ago
2006
IEEE
The power and popularity of kernel methods stem in part from their ability to handle diverse forms of structured inputs, including vectors, graphs and strings. Recently, several m...
111
click to vote
SIGIR
2006
ACM
15 years 7 months ago
2006
ACM
Combining the output from multiple retrieval sources over the same document collection is of great importance to a number of retrieval tasks such as multimedia retrieval, web retr...
FROCOS
2005
Springer
15 years 7 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
103
click to vote
ECCV
2004
Springer
15 years 7 months ago
2004
Springer
Stochastic tracking of structured models in monolithic state spaces often requires modeling complex distributions that are difficult to represent with either parametric or sample...