1878 search results - page 73 / 376 » The Vienna Abstract Machine |
MICCAI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. This paper presents a machine-learning approach to the interactive classification of suspected liver metastases in fMRI images. The method uses fMRI-based statistical mod...
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 4 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 4 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....