2588 search results - page 299 / 518 » Applications of Kolmogorov complexity to computable model th... |
150
click to vote
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
The recurring real-time task model was recently proposed as a model for real-time processes that contain code with conditional branches. In this paper, we present a necessary and ...
179
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
177
click to vote
SIBGRAPI
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper makes a rereading of two successful image segmentation approaches, the fuzzy connectedness (FC) and the watershed (WS) approaches, by analyzing both by means of the Ima...
153
click to vote
COMPGEOM
2004
ACM
16 years 2 days ago
2004
ACM
We prove that the lines tangent to four possibly intersecting convex polyhedra in 3 with n edges in total form Θ(n2 ) connected components in the worst case. In the generic ca...
167
click to vote
COMPGEOM
2004
ACM
16 years 2 days ago
2004
ACM
The computation of Delaunay triangulations from static point sets has been extensively studied in computational geometry. When the points move with known trajectories, kinetic dat...