Sciweavers

2492 search results - page 308 / 499
» An Integrated Rule Modeling Framework
Sort
View
AMFG
2007
IEEE
264views Biometrics» more  AMFG 2007»
16 years 25 days ago
Person-Independent Monocular Tracking of Face and Facial Actions with Multilinear Models
In tracking face and facial actions of unknown people, it is essential to take into account two components of facial shape variations: shape variation between people and variation ...
Yusuke Sugano, Yoichi Sato
TASE
2007
IEEE
16 years 23 days ago
Symmetry Reduced Model Checking for B
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
Edd Turner, Michael Leuschel, Corinna Spermann, Mi...
ER
2007
Springer
184views Database» more  ER 2007»
16 years 20 days ago
Collection Type Constructors in Entity-Relationship Modeling
Abstract. Collections play an important part in everyday life. Therefore, conceptual data models should support collection types to make data modeling as natural as possible for it...
Sven Hartmann, Sebastian Link
ICCAD
1994
IEEE
122views Hardware» more  ICCAD 1994»
15 years 10 months ago
An enhanced flow model for constraint handling in hierarchical multi-view design environments
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
Pieter van der Wolf, K. Olav ten Bosch, Alfred van...
DASFAA
2010
IEEE
307views Database» more  DASFAA 2010»
15 years 8 months ago
A General Maturity Model and Reference Architecture for SaaS Service
Abstract. In today's dynamic IT environment with increased global competition, enterprises must achieve greater business agility and decrease the TCO (Total Cost of Ownership)...
Seungseok Kang, Jaeseok Myung, Jongheum Yeon, Seon...