12289 search results - page 1680 / 2458 » computing 2006 |
187
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
186
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Location-based applications and services are getting increasingly important for mobile users. They take into account a mobile user's current location and provide a location-d...
240
click to vote
AMDO
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We propose motion manifold learning and motion primitive segmentation framework for human motion synthesis from motion-captured data. High dimensional motion capture date...
191
click to vote
BIRTHDAY
2006
Springer
15 years 11 months ago
2006
Springer
Sometimes it is pragmatically useful to prove a theorem by contradiction rather than finding a direct proof. Some reductio ad absurdum arguments have made mathematical history and ...
240
click to vote
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In this paper, we describe an unsupervised learning framework to segment a scene into semantic regions and to build semantic scene models from longterm observations of mo...