Sciweavers

2904 search results - page 79 / 581
» Number Forms in the Brain
Sort
View
DM
2002
116views more  DM 2002»
15 years 5 months ago
Star forests, dominating sets and Ramsey-type problems
A star forest of a graph G is a spanning subgraph of G in which each component is a star. The minimum number of edges required to guarantee that an arbitrary graph, or a bipartite...
Sheila Ferneyhough, Ruth Haas, Denis Hanson, Gary ...
COMBINATORICS
2002
87views more  COMBINATORICS 2002»
15 years 5 months ago
Kasteleyn Cokernels
We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is ...
Greg Kuperberg
IVA
2005
Springer
15 years 11 months ago
Maintaining the Identity of Dynamically Embodied Agents
Abstract. Virtual agents are traditionally constrained in their embodiment, as they are restricted to one form of body. We propose allowing them to change their embodiment in order...
Alan N. Martin, Gregory M. P. O'Hare, Brian R. Duf...
ADC
2003
Springer
101views Database» more  ADC 2003»
15 years 11 months ago
Operational Semantics of Transactions
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transac...
Andreas Prinz, Bernhard Thalheim
LPAR
1994
Springer
15 years 9 months ago
On Anti-Links
The concept of anti-link is defined, and useful equivalence-preserving operations on propositional formulas based on anti-links are introduced. These operations eliminate a potent...
Bernard Becker, Reiner Hähnle, Anavai Ramesh,...