3229 search results - page 221 / 646 » Theories with the Independence Property |
197
click to vote
ICAPR
2005
Springer
2005
Springer
Mathematical Features for Recognizing Preference in Sub-saharan African Traditional Rhythm Timelines
16 years 2 days ago
The heart of an African rhythm is the timeline, a beat that cyclically repeats thoughout a piece, and is often performed with an iron bell that all performers can hear. Such rhythm...
204
click to vote
TPHOL
2008
IEEE
16 years 28 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
186
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
We consider the use of top-points for object retrieval. These points are based on scale-space and catastrophe theory, and are invariant under gray value scaling and offset as well ...
151
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper, we first apply the theory of wallpaper groups to natural images and extract a novel feature to depict the symmetry property of natural images. The original proposed...
270
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...