5451 search results - page 110 / 1091 » Typed Operational Semantics |
144
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of -theories. Relying on the notion of easy intersection type theory we succes...
122
Voted
ICASSP
2007
IEEE
15 years 9 months ago
2007
IEEE
Content-based audio classification techniques have focused on classifying events that are both semantically and perceptually distinct (such as speech, music, environmental sounds...
138
Voted
IEE
2008
15 years 3 months ago
2008
With Java 5 annotations, we note a marked increase in tools that can statically detect potential null dereferences. To be effective such tools require that developers annotate decl...
123
Voted
GIS
2000
ACM
15 years 7 months ago
2000
ACM
Uncertainty management for geometric data is currently an important problem for (extensible) databases in general and for spatial databases, image databases, and GIS in particular...
98
Voted
ICEIS
2003
IEEE
15 years 8 months ago
2003
IEEE
: A definition of types in an information system is given from real-world abstractions through data constructs, schema and definitions to physical data values. Category theory su...