393 search results - page 31 / 79 » The LCA Problem Revisited |
133
click to vote
JIDM
2010
15 years 10 days ago
2010
Preserving the privacy of individuals when data are shared for clustering is a complex problem. The challenge is how to protect the underlying data values subjected to clustering w...
LPAR
2010
Springer
15 years 10 days ago
2010
Springer
The classic method of Nelson and Oppen for combining decision procedures requires the theories to be stably-infinite. Unfortunately, some important theories do not fall into this...
113
click to vote
SAS
2009
Springer
16 years 2 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
111
click to vote
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
The current state of the art concerning the problem of service substitution raises the following issue: the complexity of the substitution process scales up with the number of ava...
118
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...