2088 search results - page 356 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
104
click to vote
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
DAGSTUHL
2006
15 years 1 months ago
2006
action from low level features to high level semantics. Owing to the proliferation of multimedia content in the internet, there is widespread interest in the semantic web community...
BMCBI
2006
14 years 12 months ago
2006
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
121
click to vote
TCAD
2008
14 years 11 months ago
2008
Functional correctness is a vital attribute of any hardware design. Unfortunately, due to extremely complex architectures, widespread components, such as microprocessors, are often...
117
click to vote
TMM
2010
14 years 6 months ago
2010
Abstract--The goal of image classification is to classify a collection of unlabeled images into a set of semantic classes. Many methods have been proposed to approach this goal by ...