Sciweavers

6592 search results - page 142 / 1319
» On robust cycle bases
Sort
View
HVC
2005
Springer
94views Hardware» more  HVC 2005»
16 years 2 days ago
HaifaSat: A New Robust SAT Solver
Abstract. HaifaSat is a new SAT solver that is based on a new decision heuristic called Clause-Move-To-Front (CMTF), a new resolutionbased scoring strategy and many other improveme...
Roman Gershman, Ofer Strichman
ANLP
2000
108views more  ANLP 2000»
15 years 8 months ago
A Weighted Robust Parsing Approach to Semantic Annotation
This paper proposes a grammar-based approach to semantic annotation which combines the notions of robust parsing and fuzzy grammars. We present an overview of a preliminary resear...
Hatem Ghorbel, Vincenzo Pallotta
BMCBI
2011
14 years 10 months ago
Robust joint analysis allowing for model uncertainty in two-stage genetic association studies
Background: The cost efficient two-stage design is often used in genome-wide association studies (GWASs) in searching for genetic loci underlying the susceptibility for complex di...
Dongdong Pan, Qizhai Li, Ningning Jiang, Aiyi Liu,...
WWW
2007
ACM
16 years 7 months ago
Robust web page segmentation for mobile terminal using content-distances and page layout information
The demand of browsing information from general Web pages using a mobile phone is increasing. However, since the majority of Web pages on the Internet are optimized for browsing f...
Gen Hattori, Keiichiro Hoashi, Kazunori Matsumoto,...
ENTCS
2008
106views more  ENTCS 2008»
15 years 6 months ago
Computability and Representations of the Zero Set
In this note we give a new representation for closed sets under which the robust zero set of a function is computable. We call this representation the component cover representati...
Pieter Collins