505 search results - page 12 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
138
click to vote
ACL
2007
15 years 7 months ago
2007
We present a global discriminative statistical word order model for machine translation. Our model combines syntactic movement and surface movement information, and is discriminat...
177
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
163
click to vote
TACAS
2001
Springer
15 years 10 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
159
click to vote
AOSE
2005
Springer
15 years 11 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
144
click to vote
OPODIS
2008
15 years 7 months ago
2008
It has been widely suggested that memory transactions should behave as if they acquired and released a single global lock. Unfortunately, this behavior can be expensive to achieve...