2041 search results - page 55 / 409 » Modelling Generic Judgements |
95
Voted
ACL
2008
15 years 4 months ago
2008
The paper presents a novel sentence trimmer in Japanese, which combines a non-statistical yet generic tree generation model and Conditional Random Fields (CRFs), to address improv...
159
click to vote
ICFEM
2003
Springer
15 years 7 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
192
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
123
Voted
ACNS
2008
Springer
15 years 9 months ago
2008
Springer
We describe two new paradigms on how to obtain ordinary signatures that are secure against existential forgery under adaptively chosen message attacks (fully-secure, in short), fro...
118
Voted
ICPPW
2006
IEEE
15 years 8 months ago
2006
IEEE
The vast majority of research projects involving Grid Computing have focused on the development and standardization of the middleware that allows Grids to function. Despite the ma...