1423 search results - page 107 / 285 » Quantum logic as a dynamic logic |
130
click to vote
GECCO
2011
Springer
14 years 1 months ago
2011
Springer
—A number of representation schemes have been presented for use within Learning Classifier Systems, ranging from binary encodings to Neural Networks, and more recently Dynamical ...
ECBS
2009
IEEE
15 years 5 months ago
2009
IEEE
With the pressing in-time-market towards customized services, software product lines (SPL) are increasingly characterizing most of software landscape. SPL are mainly structured th...
177
click to vote
POPL
2004
ACM
15 years 10 months ago
2004
ACM
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
OTM
2007
Springer
15 years 4 months ago
2007
Springer
Component-based middleware frameworks that support distributed agent societies have proven to be very useful in a variety of domains. Such frameworks must include support for both ...
TACAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...