4385 search results - page 558 / 877 » Abstraction for Concurrent Objects |
152
click to vote
ECCV
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. One of the most difficult aspects of visual object tracking is the handling of occlusions and target appearance changes due to variations in illumination and viewing dir...
175
click to vote
EDBTW
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The Web has been rapidly “deepened” with the prevalence of databases online. On this “deep Web,” numerous sources are structured, providing schema-rich data– Th...
190
click to vote
FMCO
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...
172
click to vote
GI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
183
click to vote
IFM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...