Sciweavers

320 search results - page 29 / 64
» Automating Model Transformations in Agent-Oriented Modelling
Sort
View
ICLP
2007
Springer
15 years 6 months ago
Automatic Correctness Proofs for Logic Program Transformations
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
Alberto Pettorossi, Maurizio Proietti, Valerio Sen...
117
Voted
EDBT
2009
ACM
186views Database» more  EDBT 2009»
15 years 7 months ago
Automating the loading of business process data warehouses
Business processes drive the operations of an enterprise. In the past, the focus was primarily on business process design, modeling, and automation. Recently, enterprises have rea...
Malú Castellanos, Alkis Simitsis, Kevin Wil...
CVPR
2009
IEEE
16 years 7 months ago
Automated Extraction of Signs from Continuous Sign Language Sentences using Iterated Conditional Modes
Recognition of signs in sentences requires a training set constructed out of signs found in continuous sentences. Currently, this is done manually, which is a tedious process. I...
Barbara L. Loeding, Sudeep Sarkar, Sunita Nayak
155
Voted
JDCTA
2010
146views more  JDCTA 2010»
14 years 7 months ago
Modelling for Cruise Two-Dimensional Online Revenue Management System
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...
Bingzhou Li
MIA
2011
170views more  MIA 2011»
14 years 7 months ago
Robust statistical shape models for MRI bone segmentation in presence of small field of view
Accurate bone modeling from medical images is essential in the diagnosis and treatment of patients because it supports the detection of abnormal bone morphology, which is often re...
Jérôme Schmid, Jinman Kim, Nadia Magn...