1003 search results - page 123 / 201 » Type Inference with Inequalities |
155
click to vote
JMLR
2006
15 years 4 months ago
2006
The task of learning models for many real-world problems requires incorporating domain knowledge into learning algorithms, to enable accurate learning from a realistic volume of t...
160
click to vote
NETWORK
2007
15 years 3 months ago
2007
Moving toward 4G, wireless ad hoc networks receive growing interest due to users’ provisioning of mobility, usability of services, and seamless communications. In ad hoc network...
139
click to vote
AUTOMATICA
2010
15 years 1 months ago
2010
We consider a class of continuous-time cooperative systems evolving on the positive orthant Rn +. We show that if the origin is globally attractive, then it is also globally stabl...
159
click to vote
BMCBI
2011
14 years 11 months ago
2011
Background: High-throughput screening (HTS) is a key part of the drug discovery process during which thousands of chemical compounds are screened and their activity levels measure...
146
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Time Series Data Server (TSDS) is a software package for implementing a server that provides fast supersetting, sub-setting, filtering, and uniform gridding of time series-like dat...