283 search results - page 38 / 57 » Error Detection Using BMC in a Parallel Environment |
109
click to vote
LREC
2010
15 years 1 months ago
2010
Statistical machine translation to morphologically richer languages is a challenging task and more so if the source and target languages differ in word order. Current state-of-the...
110
click to vote
ROBIO
2006
IEEE
15 years 5 months ago
2006
IEEE
—A moth behavior-inspired strategy, including tracing a chemical plume to its source and declaring the source location, was tested in near shore ocean conditions via a REMUS unde...
92
Voted
SCAM
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper concerns the use of static analysis for debugging purposes of declarative object-oriented equation-based modeling languages. We propose a framework where over- and unde...
158
click to vote
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
Wide area aerial surveillance data has recently proliferated and increased the demand for multi-object tracking algorithms. However, the limited appearance information on every ta...
113
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...