Sciweavers

908 search results - page 124 / 182
» Generating maximal models using the stable model semantics
Sort
View
ICCV
2009
IEEE
1042views Computer Vision» more  ICCV 2009»
16 years 9 months ago
Activity Recognition using the velocity histories of tracked keypoints
We present an activity recognition feature inspired by human psychophysical performance. This feature is based on the velocity history of tracked keypoints. We present a generat...
Ross Messing, Chris Pal, Henry Kautz
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
15 years 11 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
MICS
2010
134views more  MICS 2010»
15 years 2 months ago
Scale Free Properties of Random k-Trees
Scale free graphs have attracted attention as their non-uniform structure that can be used as a model for many social networks including the WWW and the Internet. In this paper, w...
Colin Cooper, Ryuhei Uehara
EUROMICRO
1999
IEEE
15 years 8 months ago
Software Synthesis for System Level Design Using Process Execution Trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
SIGSOFT
2004
ACM
15 years 9 months ago
Resolving uncertainties during trace analysis
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
Alexander Egyed