Sciweavers

391 search results - page 40 / 79
» Formal Universes
Sort
View
CARDIS
2008
Springer
146views Hardware» more  CARDIS 2008»
15 years 2 months ago
Provably Secure Grouping-Proofs for RFID Tags
We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is...
Mike Burmester, Breno de Medeiros, Rossana Motta
109
Voted
ARGMAS
2005
Springer
15 years 2 months ago
A Logic of Abstract Argumentation
of Abstract Argumentation Guido Boella1 , Joris Hulstijn2 , and Leendert van der Torre3 1 Universit´a di Torino 2 Vrije Universiteit, Amsterdam 3 CWI Amsterdam and Delft Universit...
Guido Boella, Joris Hulstijn, Leendert W. N. van d...
SOCRATES
2008
106views Education» more  SOCRATES 2008»
15 years 1 months ago
Open Education and Virtual Communities: an Experience
In Fall 2007, Utah State University professor David Wiley held a course about Open Education. That time Dr Wiley's course was followed by an unusual group of students. The Fa...
Antonio Fini, Andreas Robert Formiconi, Alessandro...
WSC
1996
15 years 1 months ago
Simulation for computer science majors: a preliminary report
The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...
Ruth Silverman
101
Voted
CORR
2008
Springer
147views Education» more  CORR 2008»
15 years 16 days ago
A Minimum Relative Entropy Principle for Learning and Acting
This paper proposes a method to construct an adaptive agent that is universal with respect to a given class of experts, where each expert is designed specifically for a particular...
Pedro A. Ortega, Daniel A. Braun