624 search results - page 63 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
CTCS
1987
Springer
14 years 7 days ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
BMCBI
2007
13 years 8 months ago
2007
Background: Polyketides are secondary metabolites of microorganisms with diverse biological activities, including pharmacological functions such as antibiotic, antitumor and agroc...
AMFG
2007
IEEE
14 years 22 days ago
2007
IEEE
A key problem for "face in the crowd" recognition from existing surveillance cameras in public spaces (such as mass transit centres) is the issue of pose mismatches betwe...
CVPR
2004
IEEE
14 years 10 months ago
2004
IEEE
In this paper, we propose a probabilistic videobased facial expression recognition method on manifolds. The concept of the manifold of facial expression is based on the observatio...
WEBI
2007
Springer
14 years 2 months ago
2007
Springer
Web sites are often organized into several regions, each dedicated to a specific topic or serving a particular function. From a user’s perspective, these regions typically form ...