2849 search results - page 211 / 570 » As We Should Have Thought |
185
click to vote
AAAI
2007
15 years 10 months ago
2007
Recently defined resolution calculi for Max-SAT and signed Max-SAT have provided a logical characterization of the solving techniques applied by Max-SAT and WCSP solvers. In this...
198
click to vote
AAAI
2007
15 years 10 months ago
2007
Collective classification can significantly improve accuracy by exploiting relationships among instances. Although several collective inference procedures have been reported, they...
163
click to vote
CSCW
2008
ACM
15 years 9 months ago
2008
ACM
Google Maps and its spin-offs are highly successful, but they have a major limitation: users see only pictures of geographic data. These data are inaccessible except by limited ve...
184
click to vote
ESOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be...
188
click to vote
SERP
2003
15 years 9 months ago
2003
The role that design by contract plays in the specification, monitoring, and reuse of classes is of increasing importance in the OO community. Although recognizably useful, neverth...