7715 search results - page 1311 / 1543 » Visual Rules Modeling |
205
Voted
B
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
148
Voted
CEC
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper a new class of hybridization strategies between GA and PSO is presented and validated. The Genetical Swarm Optimization (GSO) approach is presented here with respect ...
142
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
135
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Humans use computers to carry out tasks that neither is able to do easily alone: humans provide eyes, hands, and judgment while computers provide computation, networking, and stor...
126
Voted
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...