8838 search results - page 277 / 1768 » Generalizing Domain Theory |
173
click to vote
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
Gaifman’s locality theorem states that every first-order sentence is equivalent to a local sentence. We show that there is no elementary bound on the length of the local sentenc...
193
click to vote
ISCAS
2006
IEEE
16 years 21 days ago
2006
IEEE
JPEG2000, the new standard for still image coding, Quantization, user defined wavelets, arbitrary wavelet provides a new framework and an integrated toolbox to better decomposition...
170
click to vote
EWSN
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. In this paper, we consider the minimization of a relevant energy consumption related cost function in the context of sensor networks where correlated sources are generate...
179
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
The need for Natural Language Interfaces to databases (NLIs) has become increasingly acute as more and more people access information through their web browsers, PDAs, and cell ph...
180
click to vote
BICOB
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we investigate the structure and representation of n-ary algebras arising from DNA recombination, where n is a number of DNA segments participating in recombination. ...