17129 search results - page 3257 / 3426 » Applied Computing |
149
click to vote
ICSOC
2004
Springer
15 years 8 months ago
2004
Springer
CiteSeer is currently a very large source of meta-data information on the World Wide Web (WWW). This meta-data is the key material for the Semantic Web. Still, CiteSeer is not yet...
115
click to vote
ICTAC
2004
Springer
15 years 8 months ago
2004
Springer
onnectivity and Full Abstraction for a Concurrent Calculus of Classes⋆ nded Abstract — Erika ´Abrah´am2 , Marcello M. Bonsangue3 , Frank S. de Boer4 , and Martin Steffen1 1 ...
120
click to vote
ICTAC
2004
Springer
15 years 8 months ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
134
click to vote
RTSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Often, data used in on-line decision making (for example, in determining how to react to changes in process behavior, traffic flow control, etc.) is dynamic in nature and hence ...
127
click to vote
GROUP
2003
ACM
15 years 8 months ago
2003
ACM
Telepointers are an important type of embodiment in real-time distributed groupware. Telepointers can increase the presence of remote participants and can provide considerable awa...