Sciweavers

3061 search results - page 351 / 613
» integration 2006
Sort
View
ADT
2006
15 years 6 months ago
Data Confidentiality: to which extent cryptography and secured hardware can help
Data confidentiality has become a major concern for individuals as well as for companies and administrations. In a classical client-server setting, the access control management is...
Nicolas Anciaux, Luc Bouganim, Philippe Pucheral
161
Voted
AIR
2006
46views more  AIR 2006»
15 years 6 months ago
Spatial inference with geometric proportional analogies
Abstract We describe an instance-based reasoning solution to a variety of spatial reasoning problems. The solution centers on identifying an isomorphic mapping between labelled gra...
Emma-Claire Mullally, Diarmuid P. O'Donoghue
ALIFE
2006
15 years 6 months ago
Neural Processing of Counting in Evolved Spiking and McCulloch-Pitts Agents
This paper investigates the evolution of autonomous agents that solve a memorydependent counting task. Two types of neurocontrollers are evolved: networks of McCulloch-Pitts neuro...
Keren Saggie-Wexler, Alon Keinan, Eytan Ruppin
AMAI
2006
Springer
15 years 6 months ago
Answer set based design of knowledge systems
The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
Marcello Balduccini, Michael Gelfond, Monica Nogue...
AMC
2006
79views more  AMC 2006»
15 years 6 months ago
Church's thesis meets the N-body problem
``Church's thesis'' is at the foundation of computer science. We point out that with any particular set of physical laws, Church's thesis need not merely be po...
Warren D. Smith