36 search results - page 5 / 8 » Type inference and type checking for queries on execution tr... |
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
ECML
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Statistical debugging uses machine learning to model program failures and help identify root causes of bugs. We approach this task using a novel Delta-Latent-Dirichlet-Al...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
Microservers are networked embedded devices that accept user tasks on demand and execute them on real world information collected by sensors. Sharing intermediate sensing and comp...
DAC
2010
ACM
13 years 12 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...