3885 search results - page 514 / 777 » Transformations for Write-All-with-Collision Model |
171
click to vote
ICDM
2005
IEEE
16 years 7 days ago
2005
IEEE
Record linkage is the process of determining that two records refer to the same entity. A key subprocess is evaluating how well the individual fields, or attributes, of the recor...
198
click to vote
WACV
2005
IEEE
16 years 6 days ago
2005
IEEE
We present an approach for persistent tracking of moving objects observed by non-overlapping and moving cameras. Our approach robustly recovers the geometry of non-overlapping vie...
176
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs. This model is built on the synchronous...
198
Voted
CAISE
2004
Springer
16 years 1 days ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
180
click to vote
IFM
2004
Springer
16 years 7 hour 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...