Sciweavers

2583 search results - page 208 / 517
» On the Representation of Timed Polyhedra
Sort
View
VL
2010
IEEE
256views Visual Languages» more  VL 2010»
15 years 4 months ago
SheetDiff: A Tool for Identifying Changes in Spreadsheets
Most spreadsheets, like other software, change over time. A frequently occurring scenario is the repeated reuse and adaptation of spreadsheets from one project to another. If seve...
Chris Chambers, Martin Erwig, Markus Luckey
ICIP
2009
IEEE
15 years 4 months ago
Dynamic texture synthesis using a spatial temporal descriptor
Dynamic textures are image sequences with visual pattern repetition in time and space, such as smoke, flames, moving objects and so on. Dynamic texture synthesis is to provide a c...
Yimo Guo, Guoying Zhao, Jie Chen, Matti Pietik&aum...
CACM
2010
140views more  CACM 2010»
15 years 3 months ago
FastTrack: efficient and precise dynamic race detection
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...
Cormac Flanagan, Stephen N. Freund
CORR
2011
Springer
198views Education» more  CORR 2011»
15 years 1 months ago
Pattern matching in Lempel-Ziv compressed strings: fast, simple, and deterministic
Countless variants of the Lempel-Ziv compression are widely used in many real-life applications. This paper is concerned with a natural modification of the classical pattern match...
Pawel Gawrychowski
COLING
2010
15 years 1 months ago
Improving the Quality of Text Understanding by Delaying Ambiguity Resolution
Text Understanding systems often commit to a single best interpretation of a sentence before analyzing subsequent text. This interpretation is chosen by resolving ambiguous altern...
Doo Soon Kim, Ken Barker, Bruce W. Porter