Sciweavers

CORR
2007
Springer
123views Education» more  CORR 2007»
13 years 4 months ago
A Generic Analysis Environment for Curry Programs
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
Michael Hanus
CORR
2007
Springer
117views Education» more  CORR 2007»
13 years 4 months ago
Dirac Notation, Fock Space and Riemann Metric Tensor in Information Retrieval Models
Using Dirac Notation as a powerful tool, we investigate the three classical Information Retrieval (IR) models and some their extensions. We show that almost all such models can be...
Xing M. Wang
CORR
2007
Springer
90views Education» more  CORR 2007»
13 years 4 months ago
Predicate Abstraction with Under-approximation Refinement
Corina S. Pasareanu, Radek Pelánek, Willem ...
CORR
2007
Springer
160views Education» more  CORR 2007»
13 years 4 months ago
On the Correlation of Geographic and Network Proximity at Internet Edges and its Implications for Mobile Unicast and Multicast R
Signicant eort has been invested recently to accelerate handover operations in a next generation mobile Internet. Corresponding works for developing ecient mobile multicast man...
Thomas C. Schmidt, Matthias Wählisch, Ying Zh...
CORR
2007
Springer
100views Education» more  CORR 2007»
13 years 4 months ago
Interference Automata
We propose a computing model, the Two-Way Optical Interference Automata (2OIA), that makes use of the phenomenon of optical interference. We introduce this model to investigate th...
M. V. Panduranga Rao
CORR
2007
Springer
183views Education» more  CORR 2007»
13 years 4 months ago
A complete set of rotationally and translationally invariant features for images
We propose a new set of rotationally and translationally invariant features for image or pattern recognition and classification. The new features are cubic polynomials in the pix...
Risi Imre Kondor