615 search results - page 52 / 123 » Completeness of Combinations of Constructor Systems |
128
Voted
MHCI
2005
Springer
15 years 9 months ago
2005
Springer
We combine the functionality of a mobile Global Positioning System (GPS) with that of an MP3 player, implemented on a PocketPC, to produce a handheld system capable of guiding a u...
169
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a structured tool demonstration, a hybrid evaluation technique that combines elements from experiments, case studies, and technology demonstrations. Developer...
136
click to vote
CSFW
2008
IEEE
15 years 5 months ago
2008
IEEE
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
165
click to vote
IVC
2008
15 years 4 months ago
2008
We present a method for efficiently generating a representation of a multi-modal posterior probability distribution. The technique combines ideas from RANSAC and particle filterin...
135
click to vote
JLP
2010
14 years 11 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...