1421 search results - page 99 / 285 » The First and Second Max-SAT Evaluations |
164
click to vote
ICSM
2009
IEEE
16 years 29 days 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...
161
click to vote
ACCV
2009
Springer
16 years 28 days 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...
164
click to vote
FMCAD
2009
Springer
16 years 26 days 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...
185
click to vote
IEAAIE
2009
Springer
16 years 26 days 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...
167
click to vote
SIGMETRICS
2009
ACM
16 years 24 days 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...