Sciweavers

490 search results - page 46 / 98
» A structured operational semantics for UML-statecharts
Sort
View

Book
695views
15 years 4 months ago
The Scheme Programming Language
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...
R. Kent Dybvig
KES
2008
Springer
13 years 8 months ago
Classification and Retrieval through Semantic Kernels
Abstract. This work proposes a family of language-independent semantic kernel functions defined for individuals in an ontology. This allows exploiting wellfounded kernel methods fo...
Claudia d'Amato, Nicola Fanizzi, Floriana Esposito
IWRIDL
2006
ACM
141views Education» more  IWRIDL 2006»
14 years 2 months ago
Shallow syntax analysis in Sanskrit guided by semantic nets constraints
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
Gérard P. Huet
DEXAW
2005
IEEE
120views Database» more  DEXAW 2005»
14 years 2 months ago
Temporal Consistency in Nomadic Mobile Environment
This paper presents a model of a nomadic middleware system with support for temporal consistency of structures semantically associated to XML-documents. Specially defined high-lev...
Dmitry S. Kochnev, Tatiana Kochurova, Alexander Sl...
ASPLOS
2011
ACM
13 years 12 days ago
NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories
nt, user-defined objects present an attractive abstraction for working with non-volatile program state. However, the slow speed of persistent storage (i.e., disk) has restricted ...
Joel Coburn, Adrian M. Caulfield, Ameen Akel, Laur...