1724 search results - page 75 / 345 » Abstract Interpreters for Free |
149
click to vote
LICS
2000
IEEE
15 years 9 months ago
2000
IEEE
While Game Semantics has been remarkably successful at g, often in a fully abstract manner, a wide range of features of programming languages, there has to date been no attempt at...
169
click to vote
ICTAC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, I present the class of linear context free languages (LCFLs) with a class of non-deterministic one-way two-head (read only) automata, called non-determinis...
154
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Title of thesis: BOOTSTRAPPING FREE-SPACE OPTICAL NETWORKS Fang Liu, Master of Science, 2004 Thesis directed by: Professor Uzi Vishkin Department of Electrical and Computer Engine...
141
click to vote
ISAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Designing and programming dependable distributed applications is very difficult. Databases provide features like transactions and replication that can help in the impleme...
169
click to vote
VLSM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper, we propose a novel technique to address motion estimation and tracking. Such technique represents the motion field using a regular grid of thin-plate spli...