5622 search results - page 946 / 1125 » Solving architectural modelling problems using knowledge |
141
click to vote
ICDM
2010
IEEE
15 years 2 months ago
2010
IEEE
While there has been a lot of work on finding frequent itemsets in transaction data streams, none of these solve the problem of finding similar pairs according to standard similar...
142
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
129
click to vote
ICMLA
2009
15 years 1 months ago
2009
We describe a generative model for graph edges under specific degree distributions which admits an exact and efficient inference method for recovering the most likely structure. T...
140
click to vote
NFM
2011
14 years 11 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
162
click to vote
CONSTRAINTS
2011
14 years 7 months ago
2011
Abstract. We consider the problem of decomposing an integer matrix into a positively weighted sum of binary matrices that have the consecutive-ones property. This problem is well-k...