1421 search results - page 99 / 285 » The First and Second Max-SAT Evaluations |
ICSM
2009
IEEE
14 years 4 months ago
2009
IEEE
Software clones are considered harmful in software maintenance and evolution. However, despite a decade of active research, there is a marked lack of work in the detection and ana...
ACCV
2009
Springer
14 years 4 months ago
2009
Springer
Evaluating the similarity of images and their descriptors by employing discriminative learners has proven itself to be an effective face recognition paradigm. In this paper we sho...
FMCAD
2009
Springer
14 years 4 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
IEAAIE
2009
Springer
14 years 4 months ago
2009
Springer
Nowadays, some process information is represented by a process model. To understand process executed in many activities, process mining technologies are now extensively studied to...
SIGMETRICS
2009
ACM
14 years 4 months ago
2009
ACM
Existing empirical studies of Internet structure and path properties indicate that the Internet is tree-like. This work quantifies the degree to which at least two important Inte...