144 search results - page 23 / 29 » Representations of Logic Functions Using QRMDDs |
101
click to vote
TCIAIG
2010
14 years 7 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
82
Voted
CADE
2006
Springer
16 years 21 days ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
88
Voted
ARGMAS
2004
Springer
15 years 5 months ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...
105
Voted
ESWS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
122
click to vote
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
The choice of an appropriate hardware representation model is key to successful evolution of digital circuits. One of the most popular models is cartesian genetic programming, whi...