Sciweavers

2233 search results - page 211 / 447
» Modular type classes
Sort
View
145
Voted
APAL
2008
102views more  APAL 2008»
15 years 6 months ago
Partial automorphism semigroups
Abstract. We study the relationship between algebraic structures and their inverse semigroups of partial automorphisms. We consider a variety of classes of natural structures inclu...
Jennifer Chubb, Valentina S. Harizanov, Andrei S. ...
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 6 months ago
Constraint solvers: An empirical evaluation of design decisions
This paper presents an evaluation of the design decisions made in four state-of-the-art constraint solvers; Choco, ECLiPSe, Gecode, and Minion. To assess the impact of design deci...
Lars Kotthoff
CORR
2008
Springer
84views Education» more  CORR 2008»
15 years 6 months ago
A Paradigm for Spreadsheet Engineering Methodologies
Spreadsheet engineering methodologies are diverse and sometimes contradictory. It is difficult for spreadsheet developers to identify a spreadsheet engineering methodology that is...
Thomas A. Grossman, Ozgur Ozluk
DM
2008
125views more  DM 2008»
15 years 6 months ago
Difference systems of sets and cyclotomy
Difference Systems of Sets (DSS) are combinatorial configurations that arise in connection with code synchronization. A method for the construction of DSS from partitions of cycli...
Yukiyasu Mutoh, Vladimir D. Tonchev
IJCAT
2006
88views more  IJCAT 2006»
15 years 6 months ago
Interaction design patterns for computers in sociable use
: This article contributes to a growing body of design patterns in interaction design for cooperative work, while also describing how to go from field studies to design patterns. I...
Mattias Arvola