Sciweavers

988 search results - page 53 / 198
» Positive Results and Techniques for Obfuscation
Sort
View
ISOLA
2007
Springer
14 years 3 months ago
Using Invariant Detection Mechanism in Black Box Inference
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
Muzammil Shahbaz, Roland Groz
ISM
2006
IEEE
231views Multimedia» more  ISM 2006»
14 years 2 months ago
Automatic Production System of Soccer Sports Video by Digital Camera Work Based on Situation Recognition
We are studying about automatic production of soccer sports videos for easy understanding by using digital camera work on camera fixed videos. The digital camera work is a movie ...
Yasuo Ariki, Shintaro Kubota, Masahito Kumano
BPM
2006
Springer
93views Business» more  BPM 2006»
14 years 20 days ago
Semi-automatic Semantic-Based Web Service Classification
With the expectable growth of the number of Web services available on the WWW and service repositories, the need for mechanisms that enable the automatic organization and discovery...
Miguel Ángel Corella, Pablo Castells
ICCAD
1995
IEEE
68views Hardware» more  ICCAD 1995»
14 years 14 days ago
Generating sparse partial inductance matrices with guaranteed stability
This paper proposes a definition of magnetic vector potential that can be used to evaluate sparse partial inductance matrices. Unlike the commonly applied procedure of discarding...
Byron Krauter, Lawrence T. Pileggi
BMVC
2001
13 years 11 months ago
Human Shape Estimation in a Multi-Camera Studio
This paper addresses the problem of estimating the shape of an actor in a multi-camera studio for arbitrarily positioned cameras and arbitrary human pose. We adopt a seamless arti...
Jonathan Starck, Adrian Hilton, John Illingworth