Sciweavers

1567 search results - page 127 / 314
» A Mechanized Model of the Theory of Objects
Sort
View
CHI
1993
ACM
15 years 5 months ago
A Wizard of Oz platform for the study of multimodal systems
The Wizard of Oz (WOz) technique is an experimental evaluation mechanism. It allows the observation of a user operating an apparently fully functioning system whose missing servic...
Daniel Salber, Joëlle Coutaz
SLOGICA
2011
14 years 8 months ago
The Quasi-lattice of Indiscernible Elements
The literature on quantum logic emphasizes that the algebraic structures involved with orthodox quantum mechanics are non distributive. In this paper we develop a particular algeb...
Mauri Cunha do Nascimento, Décio Krause, H&...
AP2PC
2004
Springer
15 years 7 months ago
On Exploiting Agent Technology in the Design of Peer-to-Peer Applications
Abstract. Peer-to-peer (P2P) architectures exhibit attractive properties for a wide range of real world systems. As a result they are increasingly being applied in the design of ap...
Steven Willmott, Josep M. Pujol, Ulises Cort&eacut...
CORR
2008
Springer
85views Education» more  CORR 2008»
15 years 1 months ago
Ranking and Unranking of Hereditarily Finite Functions and Permutations
Prolog's ability to return multiple answers on backtracking provides an elegant mechanism to derive reversible encodings of combinatorial objects as Natural Numbers i.e. ranki...
Paul Tarau
IJKL
2008
106views more  IJKL 2008»
15 years 1 months ago
Activity- and taxonomy-based knowledge representation framework
: Elaborations of Competence-based Knowledge Space Theory (CbKST) incorporate skills that refer to the conceptual information of the domain as well as to the activities learners ar...
Birgit Marte, Christina M. Steiner, Jürgen He...