9504 search results - page 34 / 1901 » Dynamic Substitution Model |
TCS
2010
13 years 6 months ago
2010
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Wei...
UIST
1998
ACM
13 years 12 months ago
1998
ACM
We present a new system, called Cirrin, for pen input of ASCII characters using word-level unistrokes. Our system addresses the tradeoff between speed and accuracy of penbased tex...
TACS
1991
Springer
13 years 11 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
IADIS
2003
13 years 9 months ago
2003
The purpose of this paper is to provide some understanding on the key forces impacting on the successful evolvement of m-commerce in the US market from Mobile Network Operators’...
RECOMB
2009
Springer
14 years 8 months ago
2009
Springer
Accurately aligning distant protein sequences is notoriously difficult. A recent approach to improving alignment accuracy is to use additional information such as predicted seconda...