1729 search results - page 123 / 346 » Deterministic Expressions in C |
137
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
128
click to vote
COMCOM
2006
15 years 4 months ago
2006
We address the problem of estimating the source-destination (SD) traffic matrix of a VPN from measurements of aggregated traffic along all access links. We derive two different es...
147
click to vote
AI
1999
Springer
15 years 4 months ago
1999
Springer
Bucket elimination is an algorithmic framework that generalizes dynamic programming to accommodate many problem-solving and reasoning tasks. Algorithms such as directional-resolut...
152
click to vote
PAMI
1998
15 years 4 months ago
1998
—This paper concerns an efficient algorithm for learning in the limit a special type of regular languages called strictly locally testable languages from positive data, and its a...
128
click to vote
LICS
2010
IEEE
15 years 3 months ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...