1557 search results - page 145 / 312 » Autonomous Applications - Towards a Better Data Integration ... |
215
Voted
AAAI
2011
14 years 4 months ago
2011
In order to better protect and conserve biodiversity, ecologists use machine learning and statistics to understand how species respond to their environment and to predict how they...
145
Voted
WSDM
2009
ACM
15 years 11 months ago
2009
ACM
This paper focuses on ‘user browsing graph’ which is constructed with users’ click-through behavior modeled with Web access logs. User browsing graph has recently been adopt...
141
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
129
click to vote
CBMS
2005
IEEE
15 years 10 months ago
2005
IEEE
The Gene Ontology (GO) is an important knowledge resource for biologists and bioinformaticians. This paper explores the integration of similarity information derived from GO into ...
204
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
Current application development tools provide completely different programming models for the application server (e.g., Java and J2EE) and the client web browser (e.g., JavaScript...