Sciweavers

4095 search results - page 437 / 819
» How to test a tree
Sort
View
184
Voted
EMMCVPR
2007
Springer
16 years 7 days ago
Bottom-Up Recognition and Parsing of the Human Body
Recognizing humans, estimating their pose and segmenting their body parts are key to high-level image understanding. Because humans are highly articulated, the range of deformation...
Praveen Srinivasan, Jianbo Shi
EUROGP
2007
Springer
135views Optimization» more  EUROGP 2007»
16 years 7 days ago
A Grammatical Genetic Programming Approach to Modularity in Genetic Algorithms
The ability of Genetic Programming to scale to problems of increasing difficulty operates on the premise that it is possible to capture regularities that exist in a problem environ...
Erik Hemberg, Conor Gilligan, Michael O'Neill, Ant...
IFM
2007
Springer
126views Formal Methods» more  IFM 2007»
16 years 6 days ago
Common Semantics for Use Cases and Task Models
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...
Daniel Sinnig, Patrice Chalin, Ferhat Khendek
184
Voted
RTA
2007
Springer
16 years 5 days ago
Rewriting Approximations for Fast Prototyping of Static Analyzers
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luk...
ICDM
2006
IEEE
153views Data Mining» more  ICDM 2006»
16 years 3 days ago
k-STARs: Sequences of Spatio-Temporal Association Rules
A Spatio-Temporal Association Rule (STAR) describes how objects move between regions over time. Since they describe only a single movement between two regions, it is very difficu...
Florian Verhein