658 search results - page 120 / 132 » Slicing Methods Using Static and Dynamic Analysis Informatio... |
110
click to vote
SAT
2010
Springer
14 years 10 months ago
2010
Springer
This paper presents a detailed empirical study of local search for Boolean satisfiability (SAT), highlighting several interesting properties, some of which were previously unknown...
WWW
2008
ACM
16 years 11 days ago
2008
ACM
All information exchange on the Internet ? whether through full text, controlled vocabularies, ontologies, or other mechanisms ? ultimately requires that that an information provi...
90
Voted
BMCBI
2008
14 years 11 months ago
2008
Background: Stimulus Response Experiments to unravel the regulatory properties of metabolic networks are becoming more and more popular. However, their ability to determine enzyme...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
In an earlier work, we proposed a novel phonetic segmentation method based on speech analysis under the Microcanonical Multiscale Formalism (MMF). The latter relies on the computa...
WWW
2003
ACM
16 years 10 days ago
2003
ACM
The success of the Semantic Web crucially depends on the easy creation, integration and use of semantic data. For this purpose, we consider an integration scenario that defies cor...