Sciweavers

4581 search results - page 728 / 917
» Computing Transformation Semigroups
Sort
View
ECCC
2010
99views more  ECCC 2010»
15 years 6 months ago
A Unified Framework for Testing Linear-Invariant Properties
Abstract--There has been a sequence of recent papers devoted to understanding the relation between the testability of properties of Boolean functions and the invariance of the prop...
Arnab Bhattacharyya, Elena Grigorescu, Asaf Shapir...
DM
2006
128views more  DM 2006»
15 years 6 months ago
Non-trivial t-designs without repeated blocks exist for all t
A computer package is being developed at Bayreuth for the generation and investigation of discrete structures. The package is a C and C++ class library of powerful algorithms endow...
Luc Teirlinck
PRL
2007
108views more  PRL 2007»
15 years 6 months ago
Towards a measure of deformability of shape sequences
In this paper we develop a theory for characterizing how deformable a shape is given a sequence of its observations. We define a term called ‘‘deformability index’’ (DI) ...
Amit K. Roy Chowdhury
JOCN
2010
81views more  JOCN 2010»
15 years 4 months ago
Mental Reversal of Imagined Melodies: A Role for the Posterior Parietal Cortex
■ Two fMRI experiments explored the neural substrates of a musical imagery task that required manipulation of the imagined sounds: temporal reversal of a melody. Musicians were ...
Robert J. Zatorre, Andrea R. Halpern, Marc Bouffar...
VLC
2010
91views more  VLC 2010»
15 years 4 months ago
A model-based recognition engine for sketched diagrams
Many of today’s recognition approaches for hand-drawn sketches are feature-based, which is conceptually similar to the recognition of hand-written text. While very suitable for ...
Florian Brieler, Mark Minas