239 search results - page 26 / 48 » Reusing Model Transformations While Preserving Properties |
CSREAPSC
2006
15 years 1 months ago
2006
- This paper uses and extends the ideas of a multi-device interface design approach from a previous work developing a framework for mobile access to web systems. It can adapt any d...
118
click to vote
NIPS
2008
15 years 1 months ago
2008
Probabilistic topic models have become popular as methods for dimensionality reduction in collections of text documents or images. These models are usually treated as generative m...
105
click to vote
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
103
click to vote
ICLP
2001
Springer
15 years 4 months ago
2001
Springer
We formally characterize alternating fixed points of boolean equation systems as models of (propositional) normal logic programs. To this end, we introduce the notion of a preferr...
CVPR
2003
IEEE
16 years 1 months ago
2003
IEEE
Recent advancement in 3D digitization techniques have prompted to the need for 3D object retrieval. Our method of comparing 3D objects for retrieval is based on 3D morphing. It co...