8179 search results - page 1588 / 1636 » The PRACTIONIST Development Tool |
ECCV
2008
Springer
13 years 12 months ago
2008
Springer
We present a novel method for unsupervised classification, including the discovery of a new category and precise object and part localization. Given a set of unlabelled images, som...
EMSOFT
2008
Springer
13 years 12 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
EMSOFT
2008
Springer
13 years 12 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
ESORICS
2008
Springer
13 years 12 months ago
2008
Springer
Current tools for analysing information flow in programs build upon ideas going back to Denning's work from the 70's. These systems enforce an imperfect notion of informa...
ETVC
2008
13 years 12 months ago
2008
Computational anatomy is an emerging discipline that aims at analyzing and modeling the individual anatomy of organs and their biological variability across a population. The goal ...