19 search results - page 4 / 4 » A Reasoning Framework for Rule-Based WSML |
HICSS
2007
IEEE
13 years 11 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...
DGO
2007
13 years 6 months ago
2007
We present D-HOTM, a framework for Distributed Higher Order Text Mining based on named entities extracted from textual data that are stored in distributed relational databases. Unl...
ICFP
2005
ACM
14 years 5 months ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
PPDP
2005
Springer
13 years 11 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....