20294 search results - page 3973 / 4059 » Algorithmic Information Theory |
148
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
As network security is a growing concern, system administrators lock down their networks by closing inbound ports and only allowing outbound communication over selected protocols ...
156
click to vote
EUROCRYPT
2004
Springer
15 years 10 months ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
129
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
151
Voted
ICMI
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents the Visual Touchpad, a low-cost vision-based input device that allows for fluid two-handed interactions with desktop PCs, laptops, public kiosks, or large wall...
147
click to vote
KDD
2004
ACM
15 years 10 months ago
2004
ACM
We are developing a technique to predict travel time of a vehicle for an objective road section, based on real time traffic data collected through a probe-car system. In the area ...