124 search results - page 13 / 25 » On the Computability of Rectifiable Simple Curve (Extended A... |
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. We present a geometric and statistical approach to gaitbased human recognition. The novelty here is to consider observations of gait, considered as planar silhouettes, to...
ICCS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
PADL
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
ICN
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. A simple UDP packet reflector for virtual multicast multimedia transfer is extended to form a distributed system of active elements that solves the scalability problem o...
SG
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Data hiding techniques onto images provide tools for protecting copyright or sending secret messages, and they are currently utilized as a simple input device of a cell p...