747 search results - page 94 / 150 » An Alternative Representation for QBF |
ICPR
2006
IEEE
16 years 29 days ago
2006
IEEE
Distance functions are an important component in many learning applications. However, the correct function is context dependent, therefore it is advantageous to learn a distance f...
DAC
2006
ACM
16 years 25 days 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...
ICML
2006
IEEE
16 years 20 days ago
2006
IEEE
We extend Support Vector Machines to input spaces that are sets by ensuring that the classifier is invariant to permutations of subelements within each input. Such permutations in...
108
click to vote
WWW
2007
ACM
16 years 16 days ago
2007
ACM
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a...
CHI
2006
ACM
16 years 7 days ago
2006
ACM
Recent advances in programming environments have focused on improving programmer productivity by utilizing the inherent structure in computer programs. However, because these envi...