229 search results - page 22 / 46 » Electronic Publishing |
ENTCS
2006
14 years 9 months ago
2006
We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results. Key words: Crypto...
ELPUB
2004
ACM
15 years 3 months ago
2004
ACM
tions, allowing interlinking of abstracting and indexing databases with full-text sources, and providing the ability to search across multiple databases simultaneously. Publishers ...
FGR
1998
IEEE
15 years 1 months ago
1998
IEEE
The Iamascope is an interactive, electronic kaleidoscope. The Iamascope combines computer video, graphics, vision, and audio technology for performers to create striking imagery a...
CPHYSICS
2007
14 years 9 months ago
2007
Progress in developing, implementing, publishing, and refining a coherent set of education materials in computational physics education will be described. These materials form th...
CRIWG
2000
14 years 11 months ago
2000
We present Zeus, an environment designed to aid in the creation of a repository of digital theses. Zeus is an asynchronous cooperative toolset which allows the revision and annota...