6306 search results - page 310 / 1262 » Space, Time, and the Use of Language |
219
click to vote
COMPGEOM
2005
ACM
15 years 9 months ago
2005
ACM
Given a Euclidean graph G in Rd with n vertices and m edges we consider the problem of adding a shortcut such that the stretch factor of the resulting graph is minimized. Currentl...
159
click to vote
ENTCS
2008
15 years 7 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
200
click to vote
EMNLP
2009
15 years 5 months ago
2009
Training a statistical machine translation starts with tokenizing a parallel corpus. Some languages such as Chinese do not incorporate spacing in their writing system, which creat...
169
Voted
SOFSEM
2009
Springer
16 years 4 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
224
click to vote
SEW
2006
IEEE
16 years 1 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...