17983 search results - page 140 / 3597 » Set Types and Applications |
186
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Off-The-Shelf (OTS) software components are being used within complex safety-critical applications. However, to use these untrustworthy components with confidence, it is necessary...
178
click to vote
TPHOL
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
157
click to vote
CPAIOR
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. State-of-the-art solvers for mixed integer programming (MIP) problems are highly parameterized, and finding parameter settings that achieve high performance for specific ...
141
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Microarray technology has become very popular for globally evaluating gene expression in biological samples. However, non-linear variation associated with the technolo...
150
click to vote
DEBU
2000
15 years 6 months ago
2000
The current state of web search is most successful at directing users to appropriate web sites. Once at the site, the user has a choice of following hyperlinks or using site searc...