7820 search results - page 1523 / 1564 » Formalization of Time and Space |
166
click to vote
FOCS
2004
IEEE
15 years 9 months ago
2004
IEEE
Edit distance has been extensively studied for the past several years. Nevertheless, no linear-time algorithm is known to compute the edit distance between two strings, or even to...
161
click to vote
ECTEL
2006
Springer
15 years 9 months ago
2006
Springer
In this paper, we present a proof of concept application of a technique that is designed explicitly for face to face collaboration software architectures. The objective is to minim...
207
click to vote
ERCIMDL
2006
Springer
15 years 9 months ago
2006
Springer
There is a lack of an integrated technology that will increase effective usage of the vast and heterogeneous multi-lingual and multimedia digital content. The need is being express...
185
click to vote
EUROSSC
2006
Springer
15 years 9 months ago
2006
Springer
This paper introduces a new concept of information that can exist in a mobile environment with no fixed infrastructure and centralized servers, which we call the Hovering Informati...
175
click to vote
COMPGEOM
2001
ACM
15 years 9 months ago
2001
ACM
This presentation illustrates examples of my geometric sculpture and outlines certain design techniques. I apply methods from the field of computational geometry to the creation o...