2639 search results - page 237 / 528 » Improving Web Design Methods with Architecture Modeling |
138
click to vote
DAC
2003
ACM
16 years 6 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
126
click to vote
UM
2007
Springer
15 years 11 months ago
2007
Springer
Web personalization has demonstrated to be advantageous for both online customers and vendors. However, its benefits may be severely counteracted by privacy constraints. Personaliz...
147
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
— Determining the optimal topology of a graph is pertinent to many domains, as graphs can be used to model a variety of systems. Evolutionary algorithms constitute a popular opti...
149
click to vote
AICT
2005
IEEE
15 years 10 months ago
2005
IEEE
Learning Object repositories play a key role in the vision of reusable learning contents and learning designs, serving as providers for learning-oriented artefacts. Nevertheless, ...
120
click to vote
TSP
2008
15 years 4 months ago
2008
Abstract--In this paper, we develop an adaptive waveform design method for target tracking under a framework of sequential Bayesian inference. We employ polarization diversity to i...