4744 search results - page 37 / 949 » Connected Computing |
FCT
1999
Springer
14 years 23 days ago
1999
Springer
Local event structures and local traces are generalizations of the classical prime event structures and Mazurkiewicz’ traces in which independence is no longer a global binary pr...
FMCAD
2000
Springer
14 years 2 days ago
2000
Springer
We present a symbolic algorithm for strongly connected component decomposition. The algorithm performs (n log n) image and preimage computations in the worst case, where n is the n...
DLOG
2003
13 years 10 months ago
2003
In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs re...
MICCAI
2009
Springer
14 years 9 months ago
2009
Springer
Determining cortical functional areas is an important goal for neurosciences and clinical neurosurgery. This paper presents a method for connectivity-based parcellation of the enti...
CONEXT
2005
ACM
13 years 10 months ago
2005
ACM
While the applications using the Internet have changed over time, TCP is still the dominating transport protocol that carries over 90% of the total traffic. Throughput is the key...