Sciweavers

2903 search results - page 323 / 581
» On the univalence of an integral operator
Sort
View
CSCLP
2004
Springer
16 years 6 days ago
A Note on Bilattices and Open Constraint Programming
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
Arnaud Lallouet
PPSWR
2004
Springer
16 years 4 days ago
Towards a Multi-calendar Temporal Type System for (Semantic) Web Query Languages
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
François Bry, Stephanie Spranger
SACRYPT
2004
Springer
113views Cryptology» more  SACRYPT 2004»
16 years 4 days ago
A Note on the Signed Sliding Window Integer Recoding and a Left-to-Right Analogue
Addition-subtraction-chains obtained from signed digit recodings of integers are a common tool for computing multiples of random elements of a group where the computation of invers...
Roberto Maria Avanzi
APCSAC
2003
IEEE
16 years 3 days ago
Arithmetic Circuits Combining Residue and Signed-Digit Representations
This paper discusses the use of signed-digit representations in the implementation of fast and efficient residue-arithmetic units. Improvements to existing signed-digit modulo adde...
Anders Lindström, Michael Nordseth, Lars Beng...
CEC
2003
IEEE
16 years 3 days ago
Real-time adaptation technique to real robots: an experiment with a humanoid robot
We introduce a technique that allows a real robot to execute real-time learning, in which GP and RL are integrated. In our former research, we showed the result of an experiment wi...
Shotaro Kamio, Hitoshi Iba