Sciweavers

568 search results - page 76 / 114
» A Machine Translation System for the Target Language Inexper...
Sort
View
MT
2010
110views more  MT 2010»
14 years 10 months ago
Metrics for MT evaluation: evaluating reordering
Translating between dissimilar languages requires an account of the use of divergent word orders when expressing the same semantic content. Reordering poses a serious problem for s...
Alexandra Birch, Miles Osborne, Phil Blunsom
FDL
2007
IEEE
15 years 3 months ago
Transactor-based Formal Verification of Real-time Embedded Systems
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
Daniel Karlsson, Petru Eles, Zebo Peng
TIC
2000
Springer
124views System Software» more  TIC 2000»
15 years 3 months ago
Sound and Complete Elimination of Singleton Kinds
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
Karl Crary
LREC
2008
140views Education» more  LREC 2008»
15 years 1 months ago
Toward Active Learning in Data Selection: Automatic Discovery of Language Features During Elicitation
Data Selection has emerged as a common issue in language technologies. We define Data Selection as the choosing of a subset of training data that is most effective for a given tas...
Jonathan Clark, Robert E. Frederking, Lori S. Levi...
ASSISTIVE
1998
Springer
15 years 4 months ago
A Wearable Computer Based American Sign Language Recognizer
Modern wearable computer designs package workstation level performance in systems small enough to be worn as clothing. These machines enable technology to be brought where it is n...
Thad Starner, Joshua Weaver, Alex Pentland