2661 search results - page 322 / 533 » Model Checking Performability Properties |
CALCO
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...
CVPR
2008
IEEE
15 years 24 days ago
2008
IEEE
We propose an approach for learning visual models of object categories in an unsupervised manner in which we first build a large-scale complex network which captures the interacti...
ICPR
2004
IEEE
14 years 12 months ago
2004
IEEE
The performance of face recognition systems that use twodimensional (2D) images is dependent on consistent conditions such as lighting, pose and facial expression. We are developi...
WWW
2009
ACM
14 years 11 months ago
2009
ACM
In Web-based services of dynamic content (such as news articles), recommender systems face the difficulty of timely identifying new items of high-quality and providing recommendat...
COMPSAC
2008
IEEE
14 years 5 months ago
2008
IEEE
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...