4067 search results - page 61 / 814 » Programs for Applying Symmetries |
UCS
2004
Springer
14 years 1 months ago
2004
Springer
Fiducial tags can be recognised successfully and decoded by computer vision systems in order to produce location information. We term a system dependable if its observable results ...
GD
2003
Springer
14 years 1 months ago
2003
Springer
We address the new problem of puzzle layout as a new application of awing. We present two abstract models of puzzles, permutation puzzles and cyclic puzzles, which can be modeled a...
FGR
1998
IEEE
14 years 8 days ago
1998
IEEE
The Iamascope is an interactive, electronic kaleidoscope. The Iamascope combines computer video, graphics, vision, and audio technology for performers to create striking imagery a...
GD
1998
Springer
14 years 6 days ago
1998
Springer
Abstract. Techniques for drawing graphs based on force-directed placement and virtual physical models have proven surprisingly successful in producing good layouts of undirected gr...
ENTCS
2006
13 years 8 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...