503 search results - page 73 / 101 » Verifying Quantitative Properties Using Bound Functions |
104
click to vote
CVPR
2009
IEEE
16 years 4 months ago
2009
IEEE
This paper proposes a novel descriptor, granularitytunable
gradients partition (GGP), for human detection.
The concept granularity is used to define the spatial and angular
unce...
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
Linguistic access to uncertain quantitative knowledge about physical properties is provided by dimensional adjectives, e.g. long-short in the spatial and temporal senses, near-far...
GPEM
2007
14 years 9 months ago
2007
We present a novel means of algorithmically describing a growth process that is an extension of Lindenmayer’s Map L-systems. This growth process relies upon a set of rewrite rule...
111
click to vote
JFP
2007
14 years 9 months ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
BMCBI
2006
14 years 9 months ago
2006
Background: That the structure determines the function of proteins is a central paradigm in biology. However, protein functions are more directly related to cooperative effects at...