Sciweavers

5699 search results - page 172 / 1140
» Alternating model trees
Sort
View
ATVA
2008
Springer
90views Hardware» more  ATVA 2008»
15 years 7 months ago
Tree Pattern Rewriting Systems
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
Blaise Genest, Anca Muscholl, Olivier Serre, Marc ...
183
Voted
WSC
2007
15 years 7 months ago
Determining efficient simulation run lengths for real time decision making
Suppose that there are a number of alternative ways of operating a system, and a performance measure is available for comparing them. Simulation runs can be carried out to estimat...
Russell C. H. Cheng
130
Voted
MSS
2008
IEEE
58views Hardware» more  MSS 2008»
15 years 5 months ago
Voting with preferences over margins of victory
This paper analyzes a two-alternative voting model with the distinctive feature that voters have preferences over the support that each alternative receives, and not only over the...
Humberto Llavador
ACL
2003
15 years 6 months ago
Chunk-Based Statistical Translation
This paper describes an alternative translation model based on a text chunk under the framework of statistical machine translation. The translation model suggested here first per...
Taro Watanabe, Eiichiro Sumita, Hiroshi G. Okuno
CIKM
2008
Springer
15 years 7 months ago
Trada: tree based ranking function adaptation
Machine Learned Ranking approaches have shown successes in web search engines. With the increasing demands on developing effective ranking functions for different search domains, ...
Keke Chen, Rongqing Lu, C. K. Wong, Gordon Sun, La...