283 search results - page 38 / 57 » Error Detection Using BMC in a Parallel Environment |
LREC
2010
13 years 9 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...
ROBIO
2006
IEEE
14 years 1 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...
SCAM
2002
IEEE
14 years 23 days 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...
CVPR
2012
IEEE
11 years 10 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...
IPPS
2010
IEEE
13 years 5 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 ...