Sciweavers

1786 search results - page 275 / 358
» Domain Independent Generative Modeling
Sort
View
131
Voted
PLDI
2012
ACM
13 years 4 months ago
RockSalt: better, faster, stronger SFI for the x86
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-...
107
Voted
ICIP
2003
IEEE
16 years 4 months ago
Quadruped gait analysis using sparse motion information
In this paper we propose a system that recognises gait and quadruped structure from a sparse set of tracked points. In this work the motion information is derived from dynamic wil...
David P. Gibson, Neill W. Campbell, Barry T. Thoma...
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
15 years 9 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
ATAL
2009
Springer
15 years 3 months ago
Efficient physics-based planning: sampling search via non-deterministic tactics and skills
Motion planning for mobile agents, such as robots, acting in the physical world is a challenging task, which traditionally concerns safe obstacle avoidance. We are interested in p...
Stefan Zickler, Manuela M. Veloso
128
Voted
CVPR
2008
IEEE
16 years 4 months ago
The scale of a texture and its application to segmentation
This paper examines the issue of scale in modeling texture for the purpose of segmentation. We propose a scale descriptor for texture and an energy minimization model to find the ...
Byung-Woo Hong, Kangyu Ni, Stefano Soatto, Tony F....