5451 search results - page 368 / 1091 » Typed Operational Semantics |
153
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...
176
click to vote
ACL
1989
15 years 7 months ago
1989
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
167
click to vote
LICS
2008
IEEE
16 years 12 days ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
183
click to vote
HICSS
2007
IEEE
16 years 10 days 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...
184
click to vote
WISE
2005
Springer
15 years 11 months ago
2005
Springer
Web transaction data between Web visitors and Web functionalities usually convey user task-oriented behavior pattern. Mining such type of clickstream data will lead to capture usag...