3385 search results - page 461 / 677 » Language, Logic, and the Brain |
163
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
149
click to vote
SAC
2006
ACM
16 years 16 days ago
2006
ACM
In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...
153
click to vote
ICDE
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...
176
click to vote
EMSOFT
2005
Springer
16 years 3 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
177
click to vote
ICDT
2005
ACM
16 years 3 days ago
2005
ACM
We give two sufficient conditions on XPath like languages for having first order expressivity, meaning that every first order definable set of paths in an ordered node-labeled t...