16568 search results - page 3008 / 3314 » Structured Data on the Web |
154
click to vote
OOPSLA
2005
Springer
16 years 2 days ago
2005
Springer
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
146
click to vote
PKDD
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. A system of nested dichotomies is a hierarchical decomposition of a multi-class problem with c classes into c − 1 two-class problems and can be represented as a tree st...
209
click to vote
PKDD
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
158
click to vote
RTA
2005
Springer
16 years 2 days ago
2005
Springer
Many applications of congruence closure nowadays require the ability of recovering, among the thousands of input equations, the small subset that caused the equivalence of a given ...
165
click to vote
SAT
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...