11182 search results - page 146 / 2237 » Shape Analysis of Sets |
145
click to vote
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
The extended answer set semantics for simple logic programs, i.e. programs with only classical negation, allows for the defeat of rules to resolve contradictions. In addition, a pa...
161
Voted
GECCO
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Our ability to simultaneously measure the expression levels of thousands of genes in biological samples is providing important new opportunities for improving the diagnos...
124
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. Today, measurement-based timing analysis tools such as in-ci...
137
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Currently, a number of bioinformatics methods are available to generate appropriate lists of genes from a microarray experiment. While these lists represent an accurat...
122
click to vote
ISIPTA
2003
IEEE
15 years 9 months ago
2003
IEEE
The finite element method is widely used for solving various problems in geotechnical engineering practice. The input parameters required for the calculations are generally impre...