177 search results - page 2 / 36 » Bridging gap between simulation and spreadsheet study |
CAV
2003
Springer
14 years 26 days ago
2003
Springer
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...
REALWSN
2010
13 years 5 months ago
2010
CCGRID
2008
IEEE
14 years 2 months ago
2008
IEEE
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...
TABLETOP
2008
IEEE
14 years 2 months ago
2008
IEEE
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...
ACL
2009
13 years 5 months ago
2009
Often, Statistical Machine Translation (SMT) between English and Korean suffers from null alignment. Previous studies have attempted to resolve this problem by removing unnecessar...