3333 search results - page 478 / 667 » Abstract Proof Search |
156
Voted
EUROGP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Cartesian Genetic Programming is a graph based representation that has many benefits over traditional tree based methods, including bloat free evolution and faster evolu...
188
Voted
FMCO
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
154
click to vote
IBPRIA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Previous works on breast tissue identification and abnormalities detection notice that the feature extraction process is affected if the region processed is not well fo...
161
Voted
IBPRIA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In this paper we present a method suitable to be used for human tracking as a temporal prior in a particle filtering framework such as CONDENSATION [5]. This method is f...
178
click to vote
ISVC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Most character motion capture data does not contain secondary motions like detailed hand motion, therefore the resultant animation looks unnatural due to the stiffness of...