525 search results - page 72 / 105 » Using Checkable Types in Automatic Protocol Analysis |
126
Voted
ICCD
2003
IEEE
15 years 11 months ago
2003
IEEE
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
EACL
1989
ACL Anthology
15 years 3 months ago
1989
ACL Anthology
A framework for translating speaker's meaning or intention is proposed based on two notions, Illocutionary Force Types (IFTs) for analysis and Decision Parameters (DPs) for g...
96
Voted
ENTER
2010
Springer
15 years 23 days ago
2010
Springer
SEMAMO (SEmantic MArket MOnitoring) is a research project seeking to make use of the increasingly growing information available at Web-based sales and marketing channels for conti...
111
Voted
COLING
2010
14 years 9 months ago
2010
Studies of discourse relations have not, in the past, attempted to characterize what serves as evidence for them, beyond lists of frozen expressions, or markers, drawn from a few ...
148
click to vote
ICSE
2012
IEEE-ACM
13 years 4 months ago
2012
IEEE-ACM
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...