1054 search results - page 155 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
TAP
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...
NGC
2002
Springer
14 years 9 months ago
2002
Springer
Abstract Most previous creativity support systems sustain shortterm temporal thinking that is separate from users' daily activities. In this paper, we propose a system to supp...
105
click to vote
BIBM
2009
IEEE
14 years 7 months ago
2009
IEEE
Abstract--Medical image segmentation has become an essential technique in clinical and research-oriented applications. Because manual segmentation methods are tedious, and fully au...
CAISE
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
CVPR
2012
IEEE
13 years 4 days ago
2012
IEEE
In this paper we introduce a novel image descriptor enabling accurate object categorization even with linear models. Akin to the popular attribute descriptors, our feature vector ...