2639 search results - page 230 / 528 » Improving Web Design Methods with Architecture Modeling |
140
Voted
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
140
click to vote
NIPS
2008
15 years 6 months ago
2008
We consider the problem of multiple kernel learning (MKL), which can be formulated as a convex-concave problem. In the past, two efficient methods, i.e., Semi-Infinite Linear Prog...
154
click to vote
APWEB
2009
Springer
15 years 2 months ago
2009
Springer
Along with the development of Web2.0, folksonomy has become a hot topic related to data mining, information retrieval and social network. The tag semantic is the key for deep under...
141
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...
159
Voted
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a complete top-down design of a low-power multi-channel clock recovery circuit based on gated current-controlled oscillators. The flow includes several tools and method...