2407 search results - page 405 / 482 » A Tool for Abstraction in Model Checking |
85
Voted
FMCAD
2008
Springer
14 years 11 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...
DMIN
2006
14 years 11 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 ...
EUROPLOP
2006
14 years 11 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...
IJCAI
2003
14 years 11 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...
EUROSIM
1994
14 years 11 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...