780 search results - page 44 / 156 » Reasoning about sets using redescription mining |
ENTCS
2006
15 years 1 months ago
2006
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
118
click to vote
ESOP
2011
Springer
14 years 4 months ago
2011
Springer
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
121
click to vote
ICFEM
2010
Springer
14 years 11 months ago
2010
Springer
Design patterns are rarely used on their own. They are almost always to be found composed with each other in real applications. So it is crucial that we can reason about their comp...
109
click to vote
KDD
2002
ACM
16 years 1 months ago
2002
ACM
The 3D conformation of a protein may be compactly represented in a symmetrical, square, boolean matrix of pairwise, inter-residue contacts, or "contact map". The contact...
ICCV
2007
IEEE
16 years 3 months ago
2007
IEEE
Recent approaches to action classification in videos have used sparse spatio-temporal words encoding local appearance around interesting movements. Most of these approaches use a ...