Sciweavers

7049 search results - page 56 / 1410
» Data Abstraction for CSP-OZ
Sort
View
FLOPS
2008
Springer
14 years 7 days ago
EasyCheck - Test Data for Free
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...
Jan Christiansen, Sebastian Fischer
ESANN
2004
14 years 2 days ago
Computational model of amygdala network supported by neurobiological data
Abstract. The amygdala has repeatedly been involved in the processing of emotional reactions and conditioning. This paper presents a neurobiologically inspired computational model ...
Mélanie Falgairolle, Agnès Gorge, Je...
ICWN
2004
14 years 2 days ago
A Peer-to-Peer Approach to Asynchronous Data Dissemination in Ad Hoc Networks
Abstract--This paper presents a model for the dissemination of information in highly dynamic ad hoc networks, such as those composed of mobile communicating devices. This model rel...
Hervé Roussain, Frédéric Guid...
IJUFKS
2002
70views more  IJUFKS 2002»
13 years 10 months ago
Software Systems for Tabular Data Releases
aint on disclosure risk. Underlying abstractions -- primarily associated with the query space, as well as released and unreleasable sub-tables and frontiers, computational algorith...
Adrian Dobra, Alan F. Karr, Ashish P. Sanil, Steph...
SIGKDD
2008
100views more  SIGKDD 2008»
13 years 10 months ago
Higher order mining
The value of knowledge obtainable by analysing large quantities of data is widely acknowledged. However, so-called primary or raw data may not always be available for knowledge di...
John F. Roddick, Myra Spiliopoulou, Daniel Lister,...