5550 search results - page 153 / 1110 » Different Approaches to Proof Systems |
161
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper we consider the task of classifying materials into explosives and non-explosives according to features obtainable from Multi-Energy X-ray Computed Tomography (MECT) ...
200
click to vote
FIW
1998
15 years 7 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
157
click to vote
GG
2004
Springer
15 years 12 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
149
click to vote
ICECCS
2007
IEEE
16 years 23 days ago
2007
IEEE
— Modern online multiplayer games are complex heterogeneous distributed systems comprised of servers and untrusted clients, which are often engineered under considerable commerci...
151
click to vote
ACL
2009
15 years 4 months ago
2009
This paper revisits the pivot language approach for machine translation. First, we investigate three different methods for pivot translation. Then we employ a hybrid method combin...