2407 search results - page 405 / 482 » A Tool for Abstraction in Model Checking |
172
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
152
click to vote
DMIN
2006
15 years 7 months ago
2006
Abstract-- Associative classification is a new classification approach integrating association mining and classification. It becomes a significant tool for knowledge discovery and ...
155
click to vote
EUROPLOP
2006
15 years 7 months ago
2006
The New Oxford Dictionary of English A powerful and well-chosen metaphor can speak a thousand words in terms of the insight it gives to the audience; a poor one can hide and confu...
131
click to vote
IJCAI
2003
15 years 7 months ago
2003
Abstract. This paper presents a unifying framework to model casebased reasoning recommender systems (CBR-RSs). CBR-RSs have complex architectures and specialize the CBR problem sol...
123
click to vote
EUROSIM
1994
15 years 7 months ago
1994
This paper introduces Pact, a new model for parallel heuristic programming on MIMD machines. Designed and implemented as an integrated tool environment, Pact allows the user to dev...