3742 search results - page 600 / 749 » On the Use of Formal Techniques for Validation |
145
click to vote
TOG
2008
15 years 6 months ago
2008
We present a discrete treatment of adapted framed curves, parallel transport, and holonomy, thus establishing the language for a discrete geometric model of thin flexible rods wit...
164
click to vote
CGF
2005
15 years 6 months ago
2005
Aiming at robust surface structure recovery, we extend the powerful optimization technique of variational shape approximation by allowing for several different primitives to repre...
184
click to vote
TWC
2008
15 years 6 months ago
2008
In modern wireless systems employing diversity techniques, combining all the available diversity branches may not be feasible due to complexity and resource constraints. To allevia...
186
click to vote
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
Advanced surveillance systems for behavior recognition in outdoor traffic scenes depend strongly on the particular configuration of the scenario. Scene-independent trajectory analy...
143
click to vote
CCR
2004
15 years 6 months ago
2004
Providing scalable distributed Web-based eventing services has been an important research topic. It is desirable to have an effective mechanism for the servers to summarize their f...