1870 search results - page 78 / 374 » Abstract And-Parallel Machines |
ICCPOL
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We propose a lexicalized syntactic reordering framework for crosslanguage word aligning and translating researches. In this framework, we first flatten hierarchical sourc...
ICCS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. The Southern California Earthquake Center initiated a major largescale earthquake simulation called TeraShake. The simulations propagated seismic waves across a domain of...
VTS
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— Numerous machine-learning-based test methodologies have been proposed in recent years as a fast alternative to the standard functional testing of mixed-signal/RF integr...
ESORICS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
ICALP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...