5451 search results - page 167 / 1091 » Typed Operational Semantics |
140
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The HL7 standard is widely used to exchange medical information electronically. As a part of the standard, HL7 defines scalar communication data types like physical quantity, poin...
151
Voted
ICDE
2011
IEEE
14 years 7 months ago
2011
IEEE
— Uncertain data is quite common nowadays in a variety of modern database applications. At the same time, the join operation is one of the most important but expensive operations...
105
Voted
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
157
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Gradual typing lets programmers evolve their dynamically typed programs by gradually adding explicit type annotations, which confer benefits like improved performance and fewer r...
121
Voted
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
The success of spoken dialog applications depends strongly on the quality of the semantic confidence measure that determines the selection of the dialog strategy. However, the sem...