Sciweavers

2440 search results - page 263 / 488
» Explanation-Based Feature Construction
Sort
View
TOPLAS
2002
116views more  TOPLAS 2002»
15 years 5 months ago
Type-preserving compilation of Featherweight Java
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavio...
Christopher League, Zhong Shao, Valery Trifonov
PRL
2007
96views more  PRL 2007»
15 years 5 months ago
An Integrated Color and Intensity Co-occurrence Matrix
The paper presents a novel approach for representing color and intensity of pixel neighborhoods in an image using a co-occurrence matrix. After analyzing the properties of the HSV...
A. Vadivel, Shamik Sural, Arun K. Majumdar
PSYCHNOLOGY
2008
97views more  PSYCHNOLOGY 2008»
15 years 5 months ago
Being Inside the Quantum Atom
This article explores the possibility of using dynamic Educational Virtual Environments (EVEs) for helping students with limited background in physics and mathematics to deeply un...
Assimina M. Kontogeorgiou, Joan Bellou, Tassos A. ...
SAC
2008
ACM
15 years 5 months ago
Preserving coordination properties when transforming concurrent system components
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
Gudmund Grov, Robert F. Pointon, Greg Michaelson, ...
SAC
2008
ACM
15 years 5 months ago
Embedding SPARQL into XQuery/XSLT
The tree-based languages XQuery and XSLT for XML are widely supported. Many tools do not yet support the new RDF graph query language SPARQL. We propose to embed SPARQL subqueries...
Sven Groppe, Jinghua Groppe, Volker Linnemann, Dir...