6381 search results - page 361 / 1277 » Alternative Implementation of the C |
182
click to vote
ICDT
1997
ACM
15 years 11 months ago
1997
ACM
The paper introduces a model of the Web as an in nite, semistructured set of objects. We reconsider the classical notions of genericity and computability of queries in this new con...
201
click to vote
TACAS
1997
Springer
15 years 11 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
175
click to vote
ICRA
1994
IEEE
15 years 11 months ago
1994
IEEE
A blind traveler walking through an unfamiliar environment, and a mobile robot navigating through a cluttered environment have an important feature in common: both have the kinema...
171
click to vote
CCS
1993
ACM
15 years 11 months ago
1993
ACM
Designers of cryptographic systems are at a disadvantage to most other engineers, in that information on how their systems fail is hard to get: their major users have traditionall...
193
click to vote
ECAI
1994
Springer
15 years 11 months ago
1994
Springer
This paper presents a lexical model dedicated to the semantic representation and interpretation of individual words in unrestricted text, where sense discrimination is difficult t...