12783 search results - page 578 / 2557 » Experimenting with computing |
234
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Termination of a heap-manipulating program generally depends on preconditions that express heap assumptions (i.e., assertions describing reachability, aliasing, separation and shar...
215
click to vote
NCA
2007
IEEE
16 years 1 months ago
2007
IEEE
The assessment of routing protocols for wireless networks is a difficult task, because of the networks’ highly dynamic behavior and the absence of benchmarks. However, some of ...
191
click to vote
DSN
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes an experiment performed on Wide Area Network to assess and fairly compare the Quality of Service provided by a large family of failure detectors. Failure dete...
213
click to vote
ACL
2012
13 years 9 months ago
2012
We propose the first joint model for word segmentation, POS tagging, and dependency parsing for Chinese. Based on an extension of the incremental joint model for POS tagging and ...
194
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
This paper presents a new method to extract a network of vessels centerlines from a medical
image. The network is composed of local geodesics over a four-dimensional space that in...