4096 search results - page 528 / 820 » An Object Model for Interoperable Systems |
183
click to vote
TSE
2008
15 years 6 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
195
click to vote
CCIA
2009
Springer
15 years 7 months ago
2009
Springer
1 We adapt the Shout and Act algorithm to Digital Objects Preservation where agents explore file systems looking for digital objects to be preserved (victims). When they find somet...
135
click to vote
CAD
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we propose a complete model handling the physical simulation of deformable 1D objects. We formulate continuous expressions for stretching, bending and twisting ener...
174
click to vote
VLSISP
1998
15 years 6 months ago
1998
Abstract. In numerous content-based video applications, it is important to extract from a video sequence a representation for humans in motion. This task is di cult, because humans...
182
click to vote
MM
2006
ACM
16 years 20 days ago
2006
ACM
Recently, interactive image cutout technique becomes prevalent for image segmentation problem due to its easy-to-use nature. However, most existing stroke-based interactive object...