2069 search results - page 58 / 414 » Linear time algorithms for Clobber |
117
Voted
ASIAN
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
148
Voted
AUTOMATICA
2010
15 years 2 months ago
2010
Finite-time optimal control problems with quadratic performance index for linear systems with linear constraints can be transformed into Quadratic Programs (QPs). Model Predictive ...
112
click to vote
SIAMCOMP
2008
15 years 3 months ago
2008
We give an algorithm requiring O(c1/2 n) time to find an -optimal traveling salesman tour in the shortest-path metric defined by an undirected planar graph with nonnegative edgele...
110
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
A critical step in defect detection for semiconductorprocess is to align a test image against a reference. This includes both spatial alignment and grayscale alignment. For the la...
131
Voted
IMR
2004
Springer
15 years 9 months ago
2004
Springer
Generating large 3D unstructured meshes with over 1 billion elements has been a challenging task. Fortunately, for a large class of applications with relatively simple geometries,...