Sciweavers

7117 search results - page 297 / 1424
» IT Governance Frameworks as Methods
Sort
View
IEE
2010
136views more  IEE 2010»
15 years 5 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil
PUC
2010
205views more  PUC 2010»
15 years 1 months ago
A database-based framework for gesture recognition
Abstract Gestures are an important modality for human-machine communication. Computer vision modules performing gesture recognition can be important components of intelligent homes...
Vassilis Athitsos, Haijing Wang, Alexandra Stefan
TDP
2010
189views more  TDP 2010»
15 years 1 months ago
The PROBE Framework for the Personalized Cloaking of Private Locations
The widespread adoption of location-based services (LBS) raises increasing concerns for the protection of personal location information. A common strategy, referred to as obfuscati...
Maria Luisa Damiani, Elisa Bertino, Claudio Silves...
TMM
2010
102views Management» more  TMM 2010»
15 years 1 months ago
A Real-Time Framework for Video Time and Pitch Scale Modification
A framework is presented which addresses the issues related to the real-time implementation of synchronized video and audio time-scale and pitch-scale modification algorithms. It a...
Ivan Damnjanovic, Dan Barry, David Dorran, Joshua ...
ICCV
2011
IEEE
14 years 6 months ago
A Convex Framework for Image Segmentation with Moment Constraints
Convex relaxation techniques have become a popular approach to image segmentation as they allow to compute solutions independent of initialization to a variety of image segmentati...
Maria Klodt, Daniel Cremers