Sciweavers

11484 search results - page 309 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
ICPR
2008
IEEE
16 years 1 months ago
Manifold denoising with Gaussian Process Latent Variable Models
For a finite set of points lying on a lower dimensional manifold embedded in a high-dimensional data space, algorithms have been developed to study the manifold structure. Howeve...
Yan Gao, Kap Luk Chan, Wei-Yun Yau
ICTAI
2008
IEEE
16 years 1 months ago
Neural Network Language Models for Translation with Limited Data
In this paper we present how to estimate a continuous space Language Model with a Neural Network to be used in a Statistical Machine Translation system. We report results for an I...
Maxim Khalilov, José A. R. Fonollosa, Franc...
IEEESCC
2008
IEEE
16 years 1 months ago
A Model for Digital Business Ecosystem and Topological Analysis
—This paper presents a novel approach to model a complex evolving system, a Digital Business Ecosystem (DBE) that takes the specific needs of Small and Medium-sized Enterprises ...
Juan Wang, Philippe De Wilde
SOSE
2008
IEEE
16 years 1 months ago
Model-Checking of Web Services Choreography
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu
TPHOL
2007
IEEE
16 years 29 days ago
Operational Reasoning for Concurrent Caml Programs and Weak Memory Models
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
Tom Ridge