3799 search results - page 626 / 760 » An Engineering Approach to Formal Methods |
188
click to vote
JBI
2007
15 years 6 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...
166
click to vote
ACL
2009
15 years 4 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 ...
190
click to vote
OR
2010
Springer
15 years 1 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...
180
click to vote
ISORC
2007
IEEE
16 years 20 days 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...
195
click to vote
ILP
2007
Springer
16 years 16 days 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...