Sciweavers

5019 search results - page 321 / 1004
» Computing in Quotient Groups
Sort
View
STACS
2004
Springer
16 years 3 days ago
Lattices with Many Cycles Are Dense
Abstract We give a method for approximating any n-dimensional lattice with a lattice Λ whose factor group Zn /Λ has n − 1 cycles of equal length with arbitrary precision. We al...
Mårten Trolin
DSVIS
1998
Springer
15 years 11 months ago
A Uniform Approach for Specification and Design of Interactive Systems: the B Method
: We have experienced the B Method on a case study which was defined by the French working group on formalisms for interactive systems, i.e. a Post-It
Yamine Aït Ameur, Patrick Girard, Francis Jam...
CHI
1997
ACM
15 years 11 months ago
A Tour of TeamRooms
TeamRooms is a groupware environment based on the metaphor of shared virtual rooms. The system contains userdefined rooms, each with a shared whiteboard, chat tool and customizabl...
Mark Roseman, Saul Greenberg
ECOOP
2006
Springer
15 years 10 months ago
Early Concurrent/Mobile Objects
Abstract. This essay just sketches my early investigations on the concept of objects which models concurrent activities of mobile entities that interact with each other in space. 1...
Akinori Yonezawa
MOC
2002
136views more  MOC 2002»
15 years 6 months ago
Automatic reduction of elliptic integrals using Carlson's relations
In a series of papers, B. C. Carlson produced tables of elliptic integrals, evaluating them in terms of easily computed symmetrical functions, using a group of multivariate recurre...
Norman Gray