Sciweavers

2806 search results - page 325 / 562
» BML and Related Tools
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Conviviality masks in multiagent systems
In this paper we study tools for conviviality to develop user-friendly multiagent systems. First, we show how to use the social-cognitive concept of conviviality in multiagent sys...
Patrice Caire, Serena Villata, Guido Boella, Leend...
CRYPTO
2008
Springer
134views Cryptology» more  CRYPTO 2008»
15 years 8 months ago
Noninteractive Statistical Zero-Knowledge Proofs for Lattice Problems
We construct noninteractive statistical zero-knowledge (NISZK) proof systems for a variety of standard approximation problems on lattices, such as the shortest independent vectors...
Chris Peikert, Vinod Vaikuntanathan
EDUTAINMENT
2008
Springer
15 years 8 months ago
Teaching Machine Learning to Design Students
Machine learning is a key technology to design and create intelligent systems, products, and related services. Like many other design departments, we are faced with the challenge t...
Bram van der Vlist, Rick van de Westelaken, Christ...
FORTEST
2008
15 years 8 months ago
Testing Data Types Implementations from Algebraic Specifications
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
Marie-Claude Gaudel, Pascale Le Gall
LREC
2010
166views Education» more  LREC 2010»
15 years 8 months ago
A Derivational Rephrasing Experiment for Question Answering
In Knowledge Management, variations in information expressions have proven a real challenge. In particular, classical semantic relations (e.g. synonymy) do not connect words with ...
Bernard Jacquemin