Sciweavers

14331 search results - page 370 / 2867
» On the modeling and analysis of obligations
Sort
View
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 4 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
ACSC
2010
IEEE
15 years 1 months ago
Analysis of the periodical payment framework using restricted proxy certificates
This paper discusses the design and implementation of a payment framework that is loosely based on the direct debit payment model. We define such payments as one in which customer...
Grigori Goldman, Lawrie Brown
TNN
2010
143views Management» more  TNN 2010»
15 years 1 months ago
Using unsupervised analysis to constrain generalization bounds for support vector classifiers
Abstract--A crucial issue in designing learning machines is to select the correct model parameters. When the number of available samples is small, theoretical sample-based generali...
Sergio Decherchi, Sandro Ridella, Rodolfo Zunino, ...
ACL
2011
14 years 10 months ago
Learning Word Vectors for Sentiment Analysis
Unsupervised vector-based approaches to semantics can model rich lexical meanings, but they largely fail to capture sentiment information that is central to many word meanings and...
Andrew L. Maas, Raymond E. Daly, Peter T. Pham, Da...
3DIM
2011
IEEE
14 years 6 months ago
Human Body Shape Prediction and Analysis Using Predictive Clustering Tree
—Predictive modeling aims at constructing models that predict a target property of an object based on its descriptions. In digital human modeling, it can be applied to predicting...
Pengcheng Xi, Hongyu Guo, Chang Shu