505 search results - page 12 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
ACL
2007
13 years 11 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...
FOSSACS
2007
Springer
14 years 3 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...
TACAS
2001
Springer
14 years 2 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...
AOSE
2005
Springer
14 years 3 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...
OPODIS
2008
13 years 11 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...