Sciweavers

3016 search results - page 428 / 604
» A Granular Approach to Web Search Result Presentation
Sort
View
124
Voted
ECCC
2007
99views more  ECCC 2007»
15 years 1 months ago
An Exponential Time/Space Speedup For Resolution
Satisfiability algorithms have become one of the most practical and successful approaches for solving a variety of real-world problems, including hardware verification, experime...
Philipp Hertel, Toniann Pitassi
131
Voted
IPPS
2010
IEEE
14 years 11 months ago
J2EE instrumentation for software aging root cause application component determination with AspectJ
Unplanned system outages have a negative impact on company revenues and image. While the last decades have seen a lot of efforts from industry and academia to avoid them, they stil...
Javier Alonso, Jordi Torres, Josep Lluis Berral, R...
131
Voted
BMCBI
2006
143views more  BMCBI 2006»
15 years 1 months ago
IsoSVM - Distinguishing isoforms and paralogs on the protein level
Background: Recent progress in cDNA and EST sequencing is yielding a deluge of sequence data. Like database search results and proteome databases, this data gives rise to inferred...
Michael Spitzer, Stefan Lorkowski, Paul Cullen, Al...
122
Voted
COLING
2000
15 years 3 months ago
An Experiment On Incremental Analysis Using Robust Parsing Techniques
The results of an experiment are presented in which an approach for robust parsing has been applied incrementally. They confirm that due to the robust nature of the underlying tec...
Kilian A. Foth, Wolfgang Menzel, Horia F. Pop, Ing...
CEC
2007
IEEE
15 years 8 months ago
Comparing bio-inspired algorithms in constrained optimization problems
Abstract— This paper presents a comparison of four bioinspired algorithms (all seen as search engines) with a similar constraint-handling mechanism (Deb’s feasibility rules) to...
Efrén Mezura-Montes, Blanca Cecilia Lopez-R...