1609 search results - page 83 / 322 » Problem Structure and Dependable Architecture |
93
Voted
JSW
2008
15 years 15 days ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
134
Voted
CISS
2007
IEEE
15 years 4 months ago
2007
IEEE
The problem of routing of sensor observations for optimal detection of a Markov random field (MRF) at a designated fusion center is analyzed. Assuming that the correlation structur...
105
Voted
ICCAD
2010
IEEE
14 years 10 months ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
119
click to vote
SWAT
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we describe an algorithm to approximately solve a class of semidefinite programs called covering semidefinite programs. This class includes many semidefinite programs...
104
Voted
HIS
2008
15 years 2 months ago
2008
Artificial Neural Networks for online learning problems are often implemented with synaptic plasticity to achieve adaptive behaviour. A common problem is that the overall learning...