Sciweavers

3322 search results - page 440 / 665
» Automatic Human Model Generation
Sort
View
HYBRID
2003
Springer
15 years 11 months ago
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin
MICCAI
1998
Springer
15 years 10 months ago
AnatomyBrowser: A Framework for Integration of Medical Information
In this paper we present AnatomyBrowser, a framework for integration of images and textual information in medical applications. AnatomyBrowser allows the user to combine 3D surfac...
Polina Golland, Ron Kikinis, Christopher Umans, Mi...
AINA
2007
IEEE
15 years 10 months ago
Specification Synthesis for Monitoring and Analysis of MANET Protocols
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
Natalia Stakhanova, Samik Basu, Wensheng Zhang, Xi...
BMVC
2001
15 years 8 months ago
Reactive Memories: An Interactive Talking-Head
We demonstrate a novel method for producing a synthetic talking head. The method is based on earlier work in which the behaviour of a synthetic individual is generated by referenc...
Vincent E. Devin, David Hogg
VMV
2001
101views Visualization» more  VMV 2001»
15 years 7 months ago
Object Localization Using Linear Adaptive Filters
We present a novel approach to localization of objects in clutter images with the use of linear adaptive filters in a two-object classifier: target object versus clutter object. A...
Ben-Zion Shaick, Leonid P. Yaroslavsky