Sciweavers

6833 search results - page 314 / 1367
» Some two-character sets
Sort
View
PUC
2002
110views more  PUC 2002»
15 years 6 months ago
Citywide: Supporting Interactive Digital Experiences Across Physical Space
The Citywide project is exploring ways in which technology can provide people with rich and engaging digital experiences as they move through physical space, including historical e...
Shahram Izadi, Mike Fraser, Steve Benford, Martin ...
TIT
2002
107views more  TIT 2002»
15 years 6 months ago
Constrained systems with unconstrained positions
We develop methods for analyzing and constructing combined modulation/error-correctiong codes (ECC codes), in particular codes that employ some form of reversed concatenation and w...
Jorge Campello de Souza, Brian H. Marcus, Richard ...
ICDE
2012
IEEE
252views Database» more  ICDE 2012»
13 years 9 months ago
Approximate String Membership Checking: A Multiple Filter, Optimization-Based Approach
— We consider the approximate string membership checking (ASMC) problem of extracting all the strings or substrings in a document that approximately match some string in a given ...
Chong Sun, Jeffrey F. Naughton, Siddharth Barman
CSFW
2012
IEEE
13 years 9 months ago
Verifying Privacy-Type Properties in a Modular Way
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
Myrto Arapinis, Vincent Cheval, Stéphanie D...
ICCV
2009
IEEE
16 years 11 months ago
A Theory of Active Object Localization
We present some theoretical results related to the problem of actively searching for a target in a 3D environment, under the constraint of a maximum search time. We define the o...
Alexander Andreopoulos, John K. Tsotsos