Sciweavers

6201 search results - page 168 / 1241
» Implementation of Axiomatic Language
Sort
View
SIGIR
2005
ACM
16 years 1 days ago
Probabilistic hyperspace analogue to language
Song and Bruza [6] introduce a framework for Information Retrieval(IR) based on Gardenfor’s three tiered cognitive model; Conceptual Spaces[4]. They instantiate a conceptual spa...
Leif Azzopardi, Mark Girolami, Malcolm Crowe
EMSOFT
2001
Springer
15 years 11 months ago
Giotto: A Time-Triggered Language for Embedded Programming
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
VLDB
1998
ACM
180views Database» more  VLDB 1998»
15 years 10 months ago
nD-SQL: A Multi-Dimensional Language for Interoperability and OLAP
We propose a multi-dimensional language called nD-SQL with the following features: (i) nD-SQL supports queries that interoperate amongst multiple relational sources with heterogen...
Frédéric Gingras, Laks V. S. Lakshma...
LPAR
2000
Springer
15 years 10 months ago
Efficient Structural Information Analysis for Real CLP Languages
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
CG
2006
Springer
15 years 6 months ago
Function-based shape modelling extension of the Virtual Reality Modelling Language
In this paper we propose a new approach to web visualisation with VRML based on a function-based shape modelling, which unifies different types of mathematical functions in order ...
Qi Liu, Alexei Sourin