Sciweavers

177 search results - page 2 / 36
» Bridging gap between simulation and spreadsheet study
Sort
View
CAV
2003
Springer
166views Hardware» more  CAV 2003»
13 years 8 months ago
Bridging the Gap between Fair Simulation and Trace Inclusion
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
Yonit Kesten, Nir Piterman, Amir Pnueli
CCGRID
2008
IEEE
13 years 10 months ago
Pastel: Bridging the Gap between Structured and Large-State Overlays
Peer-to-peer overlays envision a single overlay substrate that can be used (possibly simultaneously) by many applications, but current overlays either target fast, few-hop lookups...
Nuno Cruces, Rodrigo Rodrigues, Paulo Ferreira
TABLETOP
2008
IEEE
13 years 10 months ago
IntuPaint: Bridging the gap between physical and digital painting
This paper presents a novel interface for a digital paint system: IntuPaint. A tangible interface for a digital paint easel, using an interactive surface and electronic brushes wi...
Peter Vandoren, Tom Van Laerhoven, Luc Claesen, Jo...
ACL
2009
13 years 1 months ago
Bridging Morpho-Syntactic Gap between Source and Target Sentences for English-Korean Statistical Machine Translation
Often, Statistical Machine Translation (SMT) between English and Korean suffers from null alignment. Previous studies have attempted to resolve this problem by removing unnecessar...
Gum-Won Hong, Seung-Wook Lee, Hae-Chang Rim