Sciweavers

5699 search results - page 918 / 1140
» Alternating model trees
Sort
View
LICS
2007
IEEE
16 years 27 days ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
EMMCVPR
2007
Springer
16 years 23 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
FUN
2007
Springer
98views Algorithms» more  FUN 2007»
16 years 23 days ago
Die Another Day
The Hydra was a many-headed monster from Greek mythology that would immediately replace a head that was cut off by one or two new heads. It was the ask of Hercules to kill this mon...
Rudolf Fleischer
GECCO
2007
Springer
181views Optimization» more  GECCO 2007»
16 years 23 days ago
Finding interesting things
Model- and simulation-designers are often interested not in the optimum output of their system, but in understanding how the output is sensitive to different parameters. This can...
Sean Luke, Deepankar Sharma, Gabriel Catalin Balan
ICDT
2007
ACM
185views Database» more  ICDT 2007»
16 years 23 days ago
Characterization of the Interaction of XML Functional Dependencies with DTDs
With the rise of XML as a standard model of data exchange, XML functional dependencies (XFDs) have become important to areas such as key analysis, document normalization, and data ...
Lucja Kot, Walker M. White