11484 search results - page 530 / 2297 » Modeling in the Large and Modeling in the Small |
185
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
190
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
182
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
We propose a model for classification and detection of object classes where the number of classes may be large and where multiple instances of object classes may be present in an i...
222
click to vote
ECML
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Ensemble methods are popular learning methods that usually increase the predictive accuracy of a classifier though at the cost of interpretability and insight in the deci...
213
click to vote
ISLPED
1997
ACM
15 years 10 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). B...