747 search results - page 124 / 150 » An Alternative Representation for QBF |
109
click to vote
SIPS
2006
IEEE
15 years 5 months ago
2006
IEEE
: Molecular electronics is commonly conceived as reproducing diode or transistor action at the molecular level. The quantum-dot cellular automata (QCA) approach offers an attractiv...
LCPC
2005
Springer
15 years 5 months ago
2005
Springer
We briefly introduce the notion of Semantically Enhanced Library Languages, SELL, as a practical and economical alternative to special-purpose programming languages for high-perfo...
135
click to vote
ECOOP
2001
Springer
15 years 4 months ago
2001
Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
115
click to vote
ACMIDC
2010
15 years 3 months ago
2010
The purpose of our research is to support cognitive, motor, and emotional development of severely disabled children in the school context. We designed and implemented a set of nov...
107
click to vote
APN
1995
Springer
15 years 3 months ago
1995
Springer
The first part of this paper gives an algebraic semantics for Place/Transition nets in terms of an algebra which is based on the process algebra ACP. The algebraic semantics is s...