3799 search results - page 626 / 760 » An Engineering Approach to Formal Methods |
162
click to vote
JBI
2007
15 years 4 months ago
2007
ct 10 The field of gene expression data analysis has grown in the past few years from being purely data-centric to integrative, aiming at 11 complementing microarray analysis with...
143
click to vote
ACL
2009
15 years 2 months ago
2009
We present a simple and scalable algorithm for clustering tens of millions of phrases and use the resulting clusters as features in discriminative classifiers. To demonstrate the ...
164
Voted
OR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract With potential application to a variety of industries, fleet sizing problems present a prevalent and significant challenge for engineers and managers. This is especially t...
149
click to vote
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
Wireless sensor networks represent an extremely fastgrowing emerging technology, but still suffer from several limitations. The state of the art in sensor networks focuses on opti...
170
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...