95 search results - page 3 / 19 » Automatic Creation of Domain Templates |
SEMWEB
2005
Springer
2005
Springer
Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery
15 years 3 months ago
Structured Clinical Documentation is a fundamental component of the healthcare enterprise, linking both clinical (e.g., electronic health record, clinical decision support) and adm...
TACAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
FECS
2006
14 years 11 months ago
2006
The recent enormous increase in the availability of mobile devices such as phones, PDAs, webpads, tablet PCs etc. and with it the corresponding demand for interactive multimedia a...
84
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
c Modular Abstractions for Template Numerical Constraints David Monniaux May 26, 2010 We propose a method for automatically generating abstract transformstatic analysis by abstrac...
IJDAR
2011
14 years 4 months ago
2011
Although publicly-available, ground-truthed corpora have proven useful for training, evaluating, and comparing recognition systems in many domains, the availability of such corpor...