184 search results - page 24 / 37 » A Comparative Study on Generalization of Semantic Roles in F... |
CAV
2005
Springer
15 years 3 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
JBI
2008
14 years 9 months ago
2008
Emergency department free-text chief complaints (CCs) are a major data source for syndromic surveillance. CCs need to be classified into syndromic categories for subsequent automa...
91
Voted
ICDE
2011
IEEE
14 years 1 months ago
2011
IEEE
—An important facility to aid keyword search on XML data is suggesting alternative queries when user queries contain typographical errors. Query suggestion thus can improve users...
102
click to vote
KDD
2012
ACM
13 years 1 days ago
2012
ACM
Online advertising is increasingly becoming more performance oriented, where the decision to show an advertisement to a user is made based on the user’s propensity to respond to...
SIGSOFT
1996
ACM
15 years 1 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...