3146 search results - page 318 / 630 » Efficient Consequence Finding |
116
click to vote
ROBVIS
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents a wavelet-based algorithm for height from gradients. The tensor product of the third-order Daubechies’ scaling functions is used to span the solution space. ...
127
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
154
Voted
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
136
click to vote
CPM
1999
Springer
15 years 9 months ago
1999
Springer
We present a very efficient, in terms of space and access speed, data structure for storing huge natural language data sets. The structure is described as LZ (Ziv Lempel) compresse...
156
click to vote
ISCC
1999
IEEE
15 years 9 months ago
1999
IEEE
Due to the wide range of services being supported, telecommunications networks are loaded with massive quantities of information. This stimulates extra concern for network surviva...