10891 search results - page 486 / 2179 » Combining Model Reductions |
204
click to vote
ACL
2011
14 years 10 months ago
2011
We present a novel method for record extraction from social streams such as Twitter. Unlike typical extraction setups, these environments are characterized by short, one sentence ...
192
click to vote
DATE
2005
IEEE
16 years 15 days ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
166
click to vote
ACSD
2003
IEEE
16 years 5 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
180
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
Variants of the decentralized MDP model focus on problems exhibiting some special structure that makes them easier to solve in practice. Our work is concerned with two main issues...
195
click to vote
EMNLP
2009
15 years 4 months ago
2009
The work presented in this paper explores a supervised method for learning a probabilistic model of a lexicon of VerbNet classes. We intend for the probabilistic model to provide ...