7792 search results - page 1486 / 1559 » Designing the spectator experience |
181
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
167
click to vote
CICLING
2003
Springer
15 years 11 months ago
2003
Springer
NLPsystem developers and corpus lexicographers would both bene t from a tool for nding and organizing the distinctive patterns of use of words in texts. Such a tool would be an ass...
206
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
We introduce a computational model of sensor fusion based on the topographic representations of a ”two-microphone and one camera” configuration. Our aim is to perform a robust...
214
click to vote
DIGITALCITIES
2003
Springer
15 years 11 months ago
2003
Springer
We have developed a digital city for Kyoto, the old capital and cultural center of Japan, as a social information infrastructure for urban everyday life including shopping, busines...
146
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Object oriented languages, in particular Java, use a frequent dynamic dispatch mechanism to search for the definition of an invoked method. A method could be defined in more than...