28 search results - page 3 / 6 » Polarized Resolution Modulo |
IGARSS
2010
13 years 5 months ago
2010
We present first results from the analysis of high-rate observations with a GNSS-based tide gauge at the Onsala Space Observatory. The goal is to determine local sea level with hi...
IANDC
2007
13 years 7 months ago
2007
We explore the notion of alternating two-way tree automata modulo the theory of finitely many associative-commutative (AC) symbols. This was prompted by questions arising in cryp...
MOC
2000
13 years 7 months ago
2000
Seven widely spaced regions of integers with 4,3(x) < 4,1(x) have been discovered using conventional prime sieves. Assuming the generalized Riemann hypothesis, we modify a resul...
ICCS
2001
Springer
14 years 2 days ago
2001
Springer
Towards the realization of a global coupled air/ocean/ice predictive system for Navy needs, two high resolution modeling efforts are underway whose goals are the development and up...
MEMOCODE
2008
IEEE
14 years 2 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...