5451 search results - page 394 / 1091 » Typed Operational Semantics |
187
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
151
click to vote
FSEN
2009
Springer
16 years 27 days ago
2009
Springer
We present a general technique for extending Java-like languages with dynamic overloading, where method selection depends on the dynamic type of the parameter, instead of just the ...
148
click to vote
SAMT
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. This paper presents an approach on high-level feature detection using a region thesaurus. MPEG-7 features are locally extracted from segmented regions and for a large set...
172
Voted
ITNG
2006
IEEE
16 years 10 days ago
2006
IEEE
In this paper, still images are modeled by hierarchical tree structures and object relational graphs. These modeling concepts can be described naturally using XML schema. We intro...
163
Voted
SEMWEB
2001
Springer
15 years 10 months ago
2001
Springer
In this paper, we analyze a geospatial application for visualizing U.S. election results in order to show the problems that need to be solved in the mapping between different XML...