Sciweavers

371 search results - page 42 / 75
» Expanders In Group Algebras
Sort
View
FM
2006
Springer
146views Formal Methods» more  FM 2006»
14 years 15 days ago
Exact and Approximate Strategies for Symmetry Reduction in Model Checking
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
Alastair F. Donaldson, Alice Miller
MOC
2002
113views more  MOC 2002»
13 years 8 months ago
Computation of several cyclotomic Swan subgroups
Let Cl(OK [G]) denote the locally free class group, that is the group of stable isomorphism classes of locally free OK [G]-modules, where OK is the ring of algebraic integers in th...
Timothy Kohl, Daniel R. Replogle
SIAMCOMP
2010
100views more  SIAMCOMP 2010»
13 years 7 months ago
Algorithmic Enumeration of Ideal Classes for Quaternion Orders
We provide algorithms to count and enumerate representatives of the (right) ideal classes of an Eichler order in a quaternion algebra defined over a number field. We analyze the ...
Markus Kirschmer, John Voight
HICSS
2005
IEEE
91views Biometrics» more  HICSS 2005»
14 years 2 months ago
Old is Gold: Integrating Older Workers in CSCW
The tradition of a worker who retires by age 65 is being replaced by a trend of longer periods of employment, leading people to believe that an aging workforce will be a major soc...
Gregorio Convertino, Umer Farooq, Mary Beth Rosson...
SCIA
2009
Springer
261views Image Analysis» more  SCIA 2009»
14 years 1 months ago
Dense and Deformable Motion Segmentation for Wide Baseline Images
In this paper we describe a dense motion segmentation method for wide baseline image pairs. Unlike many previous methods our approach is able to deal with deforming motions and lar...
Juho Kannala, Esa Rahtu, Sami S. Brandt, Janne Hei...