36781 search results - page 6989 / 7357 » Parameterizing by the Number of Numbers |
213
click to vote
ENTCS
2008
15 years 7 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
189
click to vote
AO
2006
15 years 7 months ago
2006
in ontology is quite abstract and often based on toy-examples to the point that the gap between the work of theoreticians and the needs of real applications is too wide to be cross...
222
click to vote
AOR
2006
15 years 7 months ago
2006
In this paper we briefly review the importance of LP (linear programming), and Dantzig's main contributions to OR (Operations Research), mathematics, and computer science. In...
159
click to vote
EOR
2008
15 years 7 months ago
2008
Market baskets arise from consumers' shopping trips and include items from multiple categories that are frequently chosen interdependently from each other. Explanatory models...
183
click to vote
BIB
2006
15 years 7 months ago
2006
Investigation of exon^intron gene structures is a non-trivial task due to enormous expansions of the eukaryotic genomes, great variety of gene forms, and the imperfectness in sequ...