Sciweavers

245 search results - page 39 / 49
» diagrams 2010
Sort
View
ECSA
2010
Springer
14 years 11 months ago
Functional Architecture Modeling for the Software Product Industry
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
Sjaak Brinkkemper, Stella Pachidi
73
Voted
ETS
2010
IEEE
150views Hardware» more  ETS 2010»
14 years 11 months ago
Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs
It was shown in the past that ATPG based on the Boolean Satisfiability problem is a beneficial complement to traditional ATPG techniques. Its advantages can be observed especially ...
Daniel Tille, Stephan Eggersglüß, Rene ...
MM
2010
ACM
174views Multimedia» more  MM 2010»
14 years 10 months ago
Personalized photograph ranking and selection system
In this paper, we propose a novel personalized ranking system for amateur photographs. Although some of the features used in our system are similar to previous work, new features,...
Che-Hua Yeh, Yuan-Chen Ho, Brian A. Barsky, Ming O...
ECAI
2010
Springer
14 years 10 months ago
Knowledge Compilation Using Interval Automata and Applications to Planning
Knowledge compilation [6, 5, 14, 8] consists in transforming a problem offline into a form which is tractable online. In this paper, we introduce new structures, based on the notio...
Alexandre Niveau, Hélène Fargier, C&...
GECCO
2010
Springer
173views Optimization» more  GECCO 2010»
14 years 10 months ago
Superstate identification for state machines using search-based clustering
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
Mathew Hall, Phil McMinn, Neil Walkinshaw