Sciweavers

5210 search results - page 285 / 1042
» Computing Capabilities of Mediators
Sort
View
DAC
2005
ACM
16 years 7 months ago
A new canonical form for fast boolean matching in logic synthesis and verification
? An efficient and compact canonical form is proposed for the Boolean matching problem under permutation and complementation of variables. In addition an efficient algorithm for co...
Afshin Abdollahi, Massoud Pedram
CHI
2008
ACM
16 years 7 months ago
Information spaces - building meeting rooms in virtual environments
Virtual worlds are typically designed to recreate the familiar physical world, both in the design of the spaces and the ways that people interact within them. In this paper we des...
Drew Harry, Judith S. Donath
CHI
2007
ACM
16 years 7 months ago
Tangible avatar and tangible earth: a novel interface for astronomy education
The capability to support spatial perception plays an important role in developing material for astronomy education. Considering this, we developed a novel tangible user interface...
Jun Yamashita, Hideaki Kuzuoka, Chiaki Fujimon, Mi...
POLICY
2009
Springer
16 years 1 months ago
Security Policy Implementation Strategies for Common Carrier Monitoring Service Providers
—There are increasing capabilities and demands for the remote monitoring of homes and their occupants. There are a variety of options for the architecture of such monitoring syst...
Carl A. Gunter
ICPADS
2008
IEEE
16 years 1 months ago
Object-Oriented Parallelisation: Improved and Extended Parallel Iterator
The need to parallelise desktop applications is becoming increasingly essential with the mainstream adoption of multi-cores. In object-oriented languages, sequential iterators han...
Nasser Giacaman, Oliver Sinnen, Lama Akeila