3812 search results - page 380 / 763 » Combinations of TRAP Based Systems |
210
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
ABC is a public-domain system for logic synthesis and formal verification of binary logic circuits appearing in synchronous hardware designs. ABC combines scalable logic transforma...
161
click to vote
ANOR
2008
15 years 7 months ago
2008
A crucial property of second order fluid models is the behaviour of the fluid level at the boundaries. Two cases have been considered: the reflecting and the absorbing boundary. Th...
188
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
: In the manufacturing context, there have been numerous efforts to use modeling and simulation tools and techniques to improve manufacturing efficiency over the last four decades....
137
click to vote
AROBOTS
2000
15 years 6 months ago
2000
A new means of action selection via utility fusion is introduced as an alternative to both sensor fusion and command fusion. Distributed asynchronous behaviors indicate the utility...
205
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper proposes a new content based image retrieval (CBIR) system combined with relevance feedback and the online feature selection procedures. A measure of inconsistency from...