Sciweavers

8496 search results - page 1266 / 1700
» Problem Solving and Complex Systems
Sort
View
194
Voted
CSCLP
2005
Springer
16 years 10 days ago
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains
We give an efficiently executable specification of the global constraint of lexicographic order in the Constraint Handling Rules (CHR) language. In contrast to previous approaches...
Thom W. Frühwirth
171
Voted
FC
2005
Springer
80views Cryptology» more  FC 2005»
16 years 10 days ago
A User-Friendly Approach to Human Authentication of Messages
Abstract. Users are often forced to trust potentially malicious terminals when trying to interact with a remote secure system. This paper presents an approach for ensuring the inte...
Jeff King, André L. M. dos Santos
ATAL
2004
Springer
16 years 6 days ago
Decentralized Language Learning through Acting
This paper presents an algorithm for learning the meaning of messages communicated between agents that interact while acting optimally towards a cooperative goal. Our reinforcemen...
Claudia V. Goldman, Martin Allen, Shlomo Zilberste...
COORDINATION
2004
Springer
16 years 6 days ago
CoorSet: A Development Environment for Associatively Coordinated Components
A development environment for applications specified in an extended version of a previously developed coordination model based on associatively broadcast interactions is presented....
Kevin Kane, James C. Browne
ITCC
2003
IEEE
16 years 2 days ago
Stochastic Image Compression Using Fractals
Fractal objects like Sierpinski triangle and Fern have very high visual complexity and low storage-information content. For generating computer graphic images and compression of s...
Aditya Kapoor, Kush Arora, Ajai Jain, G. P. Kapoor
« Prev « First page 1266 / 1700 Last » Next »