6020 search results - page 247 / 1204 » A New Approach to Model Counting |
139
click to vote
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
229
click to vote
ICML
2002
IEEE
16 years 5 months ago
2002
IEEE
A new approach to ensemble learning is introduced that takes ranking rather than classification as fundamental, leading to models on the symmetric group and its cosets. The approa...
152
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
133
click to vote
SAC
2009
ACM
15 years 12 months ago
2009
ACM
Multi-agent System Product Lines (MAS-PLs) have emerged to integrate software product lines (SPLs) and agent-oriented software engineering techniques by incorporating their respec...
127
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— We suggest a new navigation approach to mobile robots, within a nonlinear model predictive control framework where a navigation function is used as a control Lyapunov function....