Sciweavers

288 search results - page 42 / 58
» On challenges of model transformation from UML to Alloy
Sort
View
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 3 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
COMAD
2009
14 years 10 months ago
A Unified and Scalable Data Migration Service for the Cloud Environments
Data migration is one of the key operations in many enterprise data integration projects. While there are standard and well established tools for data migration, the enterprises r...
B. Gopi Krishna, E. Vengal Reddy, K. Jagadamba, Sr...
BMCBI
2004
134views more  BMCBI 2004»
14 years 9 months ago
Bayesian model accounting for within-class biological variability in Serial Analysis of Gene Expression (SAGE)
Background: An important challenge for transcript counting methods such as Serial Analysis of Gene Expression (SAGE), "Digital Northern" or Massively Parallel Signature ...
Ricardo Z. N. Vêncio, Helena Brentani, Diogo...
95
Voted
PAMI
2006
196views more  PAMI 2006»
14 years 9 months ago
Three-Dimensional Model-Based Object Recognition and Segmentation in Cluttered Scenes
Viewpoint independent recognition of free-form objects and their segmentation in the presence of clutter and occlusions is a challenging task. We present a novel 3D model-based alg...
Ajmal S. Mian, Mohammed Bennamoun, Robyn A. Owens
CVPR
2009
IEEE
16 years 4 months ago
A Multi-View Probabilistic Model for 3D Object Classes
We propose a novel probabilistic framework for learning visual models of 3D object categories by combining appearance information and geometric constraints. Objects are represen...
Fei-Fei Li 0002, Hao Su, Min Sun, Silvio Savarese