Sciweavers

13913 search results - page 253 / 2783
» models 2007
Sort
View
INFORMATICALT
2007
76views more  INFORMATICALT 2007»
15 years 7 months ago
An Integrative Framework to Protocol Analysis and Repair: Bellare-Rogaway Model + Planning + Model Checker
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
Kim-Kwang Raymond Choo
EMNLP
2007
15 years 8 months ago
A Sequence Alignment Model Based on the Averaged Perceptron
We describe a discriminatively trained sequence alignment model based on the averaged perceptron. In common with other approaches to sequence modeling using perceptrons, and in co...
Dayne Freitag, Shahram Khadivi
ISIM
2007
15 years 8 months ago
Verification of Good Design Style of UML Models
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
Bogumila Hnatkowska
DICTA
2003
15 years 8 months ago
A Model Set Based Object Segmentation Method Using Level Set Approach
Abstract. A novel approach for model set based object segmentation is described. The proposed method enables the using of a model set to guide the object segmentation. The object s...
Xun Wang, Zhigang Peng, Feng Gao, William G. Wee
NAACL
1994
15 years 8 months ago
Language Modeling with Sentence-Level Mixtures
Thispaperintroduces a simple mixtare languagemodelthat attempts to capture long distance conslraints in a sentence orparagraph. The model is an m-component mixture of Irigram mode...
Rukmini Iyer, Mari Ostendorf, Jan Robin Rohlicek