Sciweavers

1124 search results - page 106 / 225
» Refined quorum systems
Sort
View
CEC
2008
IEEE
15 years 8 months ago
Evosphere: Evolutionary dynamics in a population of fighting virtual creatures
It is often suggested that traditional models of artificial evolution, based on explicit, human-defined fitness functions, are fundamentally more restricted and less creative than ...
Thomas Miconi
ACL
2006
15 years 8 months ago
Unsupervised Part-of-Speech Tagging Employing Efficient Graph Clustering
An unsupervised part-of-speech (POS) tagging system that relies on graph clustering methods is described. Unlike in current state-of-the-art approaches, the kind and number of dif...
Chris Biemann
AKA
2004
15 years 8 months ago
Multimodel Application Specification, Integration, and Evolution - Experiences from the Reinsurance Industry
: Swiss Re has established an architectural framework, tools, and concepts that enable business people to specify their view of the business in a consistent and formal manner. Base...
Hans Wegener
COLING
2000
15 years 7 months ago
A Comparison of Alignment Models for Statistical Machine Translation
In this paper, we t)resent and compare various alignnmnt models for statistical machine translation. We propose to measure tile quality of an aligmnent model using the quality of ...
Franz Josef Och, Hermann Ney
IWFM
1998
113views Formal Methods» more  IWFM 1998»
15 years 7 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore