472 search results - page 28 / 95 » Limiting Negations in Formulas |
SIAMMA
2010
13 years 5 months ago
2010
In this note, we prove the periodic homogenization for a family of nonlinear nonlocal "elliptic" equations with oscillatory coefficients. Such equations include, but are ...
SIGIR
2010
ACM
14 years 2 months ago
2010
ACM
Google Scholar allows researchers to search through a free and extensive source of information on scientific publications. In this paper we show that within the limited context o...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
— In this work, we study the problem of evaluating the performance limit of two communication problems that are closely related to each other- source coding with feed-forward and...
VLDB
2001
ACM
14 years 2 months ago
2001
ACM
We are interested in de ning and querying views in a huge and highly heterogeneous XML repository Web scale . In this context, view de nitions are very large and there is no appa...
HYBRID
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...