4231 search results - page 547 / 847 » Using Language More Responsibly |
130
Voted
SPIN
2005
Springer
15 years 10 months ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
129
click to vote
CP
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keepi...
127
click to vote
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
143
click to vote
IJCNLP
2004
Springer
15 years 10 months ago
2004
Springer
In a text categorization task, classification on some hierarchy of classes shows better results than the case without the hierarchy. In current environments where large amount of ...
148
click to vote
LPNMR
2004
Springer
15 years 10 months ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...