1255 search results - page 163 / 251 » User Modeling for Efficient Use of Multimedia Files |
100
Voted
NIPS
2004
15 years 2 months ago
2004
The support vector machine (SVM) is a widely used tool for classification. Many efficient implementations exist for fitting a two-class SVM model. The user has to supply values fo...
106
click to vote
ATVA
2004
Springer
15 years 4 months ago
2004
Springer
While model checking suffers from the state space explosion problem, theorem proving is quite tedious and impractical for verifying complex designs. In this work, we present a veri...
122
Voted
DIAGRAMS
2010
Springer
15 years 2 months ago
2010
Springer
Creating and editing graphs and node-link diagrams by means of digital tools are crucial activities in domains such as software or business process modeling. However, these tools h...
115
Voted
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
- One of the critical issues in MTCMOS design is how to estimate a circuit delay quickly. In this paper, we propose a delay modeling and static timing analysis (STA) methodology ta...
117
Voted
JAR
2006
15 years 20 days ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...