177 search results - page 2 / 36 » Bridging gap between simulation and spreadsheet study |
119
Voted
CAV
2003
Springer
15 years 10 months 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...
128
Voted
REALWSN
2010
15 years 2 months ago
2010
113
click to vote
CCGRID
2008
IEEE
15 years 11 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...
136
click to vote
TABLETOP
2008
IEEE
15 years 11 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...
148
Voted
ACL
2009
15 years 2 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...