Sciweavers

2880 search results - page 285 / 576
» Types are calling conventions
Sort
View
EWSN
2006
Springer
16 years 6 months ago
Semantic Streams: A Framework for Composable Semantic Interpretation of Sensor Data
We present a framework called Semantic Streams that allows users to pose declarative queries over semantic interpretations of sensor data. For example, instead of querying raw magn...
Kamin Whitehouse, Feng Zhao, Jie Liu
ALT
2004
Springer
16 years 3 months ago
Probabilistic Inductive Logic Programming
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
Luc De Raedt, Kristian Kersting
FASE
2010
Springer
16 years 1 months ago
Reusing Model Transformations While Preserving Properties
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformat...
Ethan K. Jackson, Wolfram Schulte, Daniel Balasubr...
PPOPP
2009
ACM
16 years 1 months ago
Petascale computing with accelerators
A trend is developing in high performance computing in which commodity processors are coupled to various types of computational accelerators. Such systems are commonly called hybr...
Michael Kistler, John A. Gunnels, Daniel A. Broken...
DATE
2009
IEEE
123views Hardware» more  DATE 2009»
16 years 1 months ago
On decomposing Boolean functions via extended cofactoring
—We investigate restructuring techniques based on decomposition/factorization, with the objective to move critical signals toward the output while minimizing area. A specific ap...
Anna Bernasconi, Valentina Ciriani, Gabriella Truc...