528 search results - page 84 / 106 » Construction of concrete verification models from C |
WWW
2006
ACM
14 years 9 months ago
2006
ACM
It has become a promising direction to measure similarity of Web search queries by mining the increasing amount of clickthrough data logged by Web search engines, which record the...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
In ubiquitous computing era, the notion of context-awareness will play an important role. An application should be aware of its operating context for supporting and enriching huma...
BMCBI
2004
13 years 8 months ago
2004
Background: Recent genomic and bioinformatic advances have motivated the development of numerous network models intending to describe graphs of biological, technological, and soci...
KDD
2004
ACM
14 years 9 months ago
2004
ACM
There has historically been very little concern with extrapolation in Machine Learning, yet extrapolation can be critical to diagnose. Predictor functions are almost always learne...
WSC
1996
13 years 10 months ago
1996
Much of the research in parallel discrete-event simulation (PDES) has resulted in new experimental simulation languages or toolkits. Meanwhile, the simulation community continues ...