1174 search results - page 73 / 235 » Derivation of Characteristic Formulae |
150
click to vote
CG
2004
Springer
15 years 4 months ago
2004
Springer
The automatic synthesis of procedural textures for 3D surfaces using genetic programming is investigated. Genetic algorithms employ a search strategy inspired by Darwinian natural...
114
click to vote
CSR
2010
Springer
15 years 9 months ago
2010
Springer
Algorithmic tools for graphs of small treewidth are used to address questions in complexity theory. For both arithmetic and Boolean circuits, it is shown that any circuit of size ...
132
click to vote
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
126
click to vote
CP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
133
click to vote
ICIS
1998
15 years 5 months ago
1998
This paper describes the design of groupware for virtual organizations that share certain characteristics. First the concept of virtual organizations is introduced. Then our appli...