2530 search results - page 184 / 506 » Dynamic topological logic |
122
click to vote
JSW
2008
15 years 4 months ago
2008
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
128
Voted
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability for propositional dynamic logic. Our main contribution is a sound meth...
160
click to vote
BMCBI
2004
15 years 3 months ago
2004
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...
144
click to vote
CVPR
2007
IEEE
15 years 10 months ago
2007
IEEE
Energy-minimizing active contour models (snakes) have been proposed for solving many computer vision problems such as object segmentation, surface reconstruction, and object track...
187
click to vote
SIGCOMM
2004
ACM
15 years 9 months ago
2004
ACM
Overlay network monitoring enables distributed Internet applications to detect and recover from path outages and periods of degraded performance within seconds. For an overlay net...