7109 search results - page 1088 / 1422 » Process Algebra with Combinators |
199
click to vote
ISVC
2007
Springer
16 years 28 days ago
2007
Springer
We present an intuitive, fast and accurate interactive segmentation method for visualizing and analyzing 3D medical images. Our method combines a general deformable subdivision-sur...
159
click to vote
LFCS
2007
Springer
16 years 28 days ago
2007
Springer
LP can be seen as a logic of knowledge with justifications. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikk...
174
click to vote
MCAM
2007
Springer
16 years 28 days ago
2007
Springer
Automatic story unit segmentation is an essential technique for content based video retrieval and summarization. A good video story unit has complete content and natural boundary i...
159
click to vote
MDM
2007
Springer
16 years 28 days ago
2007
Springer
In traditional fixed-wired networks, standard protocols like 2-Phase-Commit are used to guarantee atomicity for distributed transactions. However, within mobile networks, a highe...
202
click to vote
MDM
2007
Springer
16 years 28 days ago
2007
Springer
Several window constructs are usually specified in continuous queries over data streams as a means of limiting the amount of data processed each time and thus providing real-time...