Sciweavers

11484 search results - page 473 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
ICECCS
1995
IEEE
114views Hardware» more  ICECCS 1995»
15 years 10 months ago
The role of secondary attributes in formal object modelling
When modelling a large and complex system, clarzty of the speczfication becomes an znaportant factor. I n object-oriented specification, the states of individual objects are captu...
Jin Song Dong, Gordon A. Rose, Roger Duke
ICWS
2007
IEEE
15 years 8 months ago
Model Checking Expressive Web Service Descriptions
In order to find suitable web services in a large market of web services, automatic support is needed to filter out web services semantically. Existing matchmaking approaches ma...
Sudhir Agarwal
NAACL
2007
15 years 8 months ago
Translation Model Pruning via Usage Statistics for Statistical Machine Translation
We describe a new pruning approach to remove phrase pairs from translation models of statistical machine translation systems. The approach applies the original translation system ...
Matthias Eck, Stephan Vogel, Alex Waibel
NIPS
2007
15 years 8 months ago
Gaussian Process Models for Link Analysis and Transfer Learning
In this paper we model relational random variables on the edges of a network using Gaussian processes (GPs). We describe appropriate GP priors, i.e., covariance functions, for dir...
Kai Yu, Wei Chu
NAACL
1994
15 years 8 months ago
Japanese Word Segmentation by Hidden Markov Model
The processing of Japanese text is complicated by the fact that there are no word delimiters. To segment Japanese text, systems typically use knowledge-based methods and large lex...
Constantine Papageorgiou