3333 search results - page 82 / 667 » New Invariants for Groups |
CAV
2012
Springer
11 years 11 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
COMBINATORICS
2000
13 years 8 months ago
2000
We prove a conjecture of Cohn and Propp, which refines a conjecture of Bosley and Fidkowski about the symmetry of the set of alternating sign matrices (ASMs). We examine data aris...
JSW
2007
13 years 8 months ago
2007
— This paper describes the importance of new skilled architects in the discipline of Software and Enterprise Architecture. Architects are often idealized as super heroes with a l...
CHI
1998
ACM
14 years 1 months ago
1998
ACM
In many educationalsettings,manipulative materials(such as CuisenaireRods andPatternBlocks) play an important role in children’s learning, enabling children to explore mathemati...
ISSAC
2007
Springer
14 years 3 months ago
2007
Springer
Constructing some regular graph with a given girth, a given degree and the fewest possible vertices is a hard problem. This problem is called the cage graph problem and has some l...