Sciweavers

3267 search results - page 241 / 654
» Computational Models of Language Acquisition
Sort
View
BIRTHDAY
2010
Springer
15 years 7 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
ACL
1997
15 years 8 months ago
Hierarchical Non-Emitting Markov Models
We describe a simple variant of the interpolated Markov model with nonemitting state transitions and prove that it is strictly more powerful than any Markov model. More importantl...
Eric Sven Ristad, Robert G. Thomas
SPIN
2009
Springer
16 years 1 months ago
Identifying Modeling Errors in Signatures by Model Checking
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
Sebastian Schmerl, Michael Vogel, Hartmut Kön...
190
Voted
ACMSE
2004
ACM
16 years 1 days ago
E-R modeler: a database modeling toolkit for Eclipse
Eclipse is a Java integrated development environment (IDE) and tool integration platform that offers numerous extension points for customization through a plug-in architecture. Th...
Song Zhou, Chuanxi Xu, Hui Wu, Jing Zhang, Yuehua ...
ACL
2011
14 years 10 months ago
Gappy Phrasal Alignment By Agreement
We propose a principled and efficient phraseto-phrase alignment model, useful in machine translation as well as other related natural language processing problems. In a hidden se...
Mohit Bansal, Chris Quirk, Robert C. Moore