1271 search results - page 57 / 255 » On Simulation-Checking with Sequential Systems |
FAST
2004
13 years 11 months ago
2004
The Atropos logical volume manager allows applications to exploit characteristics of its underlying collection of disks. It stripes data in track-sized units and explicitly expose...
IJCAI
2001
13 years 11 months ago
2001
The majority of existing language generation systems have a pipeline architecture which offers efficient sequential execution of modules, but does not allow decisions about text c...
SIAMJO
2008
13 years 10 months ago
2008
We present an algorithm for large-scale equality constrained optimization. The method is based on a characterization of inexact sequential quadratic programming (SQP) steps that ca...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
With an eye towards design of human-in-the-loop systems, we investigate human decision making in a social context for tasks that require the human to make repeated choices among fi...
CRV
2011
IEEE
12 years 10 months ago
2011
IEEE
Abstract—Contour features play an important role in object recognition. Psychological experiments have shown that maximum-curvature points are most distinctive along a contour [6...