3256 search results - page 531 / 652 » Applications of Formal Methods to System Design and Verifica... |
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
This paper outlines an ontology for characterising architecture frameworks. The ontology is based on the metamodel of MAF, and is currently being tried out on a set of well-known e...
IWPSE
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...
103
click to vote
ICCV
2003
IEEE
15 years 12 months ago
2003
IEEE
Surface representation is needed for almost all modeling and visualization applications, but unfortunately, 3D data from a passive vision system are often insufficient for a tradi...
CIVR
2007
Springer
15 years 4 months ago
2007
Springer
The ability to match faces in video is a crucial component for many multimedia applications such as searching and recognizing people in semantic video browsing, surveillance and h...
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
This demonstration presents FlexPref, a framework implemented inside the DBMS query processor that enables efficient and extensible preference query processing. FlexPref provides ...