Sciweavers

1235 search results - page 166 / 247
» Structured Meanings in Computational Linguistics
Sort
View
TASLP
2008
201views more  TASLP 2008»
14 years 9 months ago
Syntactically Lexicalized Phrase-Based SMT
Abstract--Until quite recently, extending Phrase-based Statistical Machine Translation (PBSMT) with syntactic knowledge caused system performance to deteriorate. The most recent su...
Hany Hassan, Khalil Sima'an, Andy Way
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 1 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
DSN
2005
IEEE
15 years 3 months ago
ReStore: Symptom Based Soft Error Detection in Microprocessors
Device scaling and large scale integration have led to growing concerns about soft errors in microprocessors. To date, in all but the most demanding applications, implementing par...
Nicholas J. Wang, Sanjay J. Patel
IPMI
2009
Springer
15 years 10 months ago
Persistence Diagrams of Cortical Surface Data
We present a novel framework for characterizing signals in images using techniques from computational algebraic topology. This technique is general enough for dealing with noisy mu...
Moo K. Chung, Peter Bubenik, Peter T. Kim
JVCA
2007
110views more  JVCA 2007»
14 years 9 months ago
Dual Laplacian morphing for triangular meshes
Recently, animations with deforming objects have been frequently used in various computer graphics applications. Morphing of objects is one of the techniques which realize shape t...
Jianwei Hu, Ligang Liu, Guozhao Wang