4985 search results - page 621 / 997 » Observation of String-Rewriting Systems |
185
click to vote
SAGA
2005
Springer
16 years 6 days ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
173
click to vote
HICSS
2003
IEEE
16 years 16 hour ago
2003
IEEE
Technological systems involving hazards are typically managed by experienced personnel guided by wellformulated, pre-determined procedures. These procedures are designed to ensure...
177
click to vote
HOTOS
2003
IEEE
16 years 16 hour ago
2003
IEEE
Distributed writable storage systems typically provide NFS-like semantics and unbounded persistence for files. We claim that for planetary-scale distributed services such facilit...
179
click to vote
NDQA
2003
15 years 8 months ago
2003
Early TREC-style Question Answering Systems were characterized by the following features: (a) the answer of the question was known to be included in a given local corpus, (b) the ...
173
click to vote
JFP
2000
15 years 6 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...