Sciweavers

2231 search results - page 165 / 447
» Alternation as a programming paradigm
Sort
View
ISCAS
2002
IEEE
94views Hardware» more  ISCAS 2002»
15 years 9 months ago
Minimum power broadcast trees for wireless networks: optimizing using the viability lemma
Wireless multicast/broadcast sessions, unlike wired networks, inherently reaches several nodes with a single transmission. For omnidirectional wireless broadcast to a node, all no...
Robert J. Marks II, Arindam Kumar Das, Mohamed A. ...
RT
2001
Springer
15 years 9 months ago
Shader Lamps: Animating Real Objects With Image-Based Illumination
We describe a new paradigm for three-dimensional computer graphics, using projectors to graphically animate physical objects in the real world. The idea is to replace a physical o...
Ramesh Raskar, Greg Welch, Kok-Lim Low, Deepak Ban...
CCS
1993
ACM
15 years 8 months ago
Why Cryptosystems Fail
Designers of cryptographic systems are at a disadvantage to most other engineers, in that information on how their systems fail is hard to get: their major users have traditionall...
Ross J. Anderson
FSTTCS
2006
Springer
15 years 8 months ago
The Meaning of Ordered SOS
Structured Operational Semantics (SOS) is a popular method for defining semantics by means of deduction rules. An important feature of deduction rules, or simply SOS rules, are neg...
Mohammad Reza Mousavi, Iain C. C. Phillips, Michel...
ACL
2008
15 years 6 months ago
Multi-Task Active Learning for Linguistic Annotations
We extend the classical single-task active learning (AL) approach. In the multi-task active learning (MTAL) paradigm, we select examples for several annotation tasks rather than f...
Roi Reichart, Katrin Tomanek, Udo Hahn, Ari Rappop...