Sciweavers

8647 search results - page 561 / 1730
» The Container Selection Problem
Sort
View
SIGACT
2008
103views more  SIGACT 2008»
15 years 7 months ago
Computational geometry column 50
Two long-open problems have been solved: (1) every sufficiently large planar point set in general position contains the vertices of an empty hexagon; (2) every finite collection o...
Joseph O'Rourke
181
Voted
TOPLAS
2008
78views more  TOPLAS 2008»
15 years 7 months ago
The pitfalls of verifying floating-point computations
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
David Monniaux
DM
2002
114views more  DM 2002»
15 years 6 months ago
C4-saturated bipartite graphs
Let H be a graph. A graph G is said to be H-free if it contains no subgraph isomorphic to H. A graph G is said to be an H-saturated subgraph of a graph K if G is an H-free subgrap...
Darryn E. Bryant, Hung-Lin Fu
IPL
2007
91views more  IPL 2007»
15 years 6 months ago
Simple deterministic wildcard matching
We present a simple and fast deterministic solution to the string matching with don’t cares problem. The task is to determine all positions in a text where a pattern occurs, all...
Peter Clifford, Raphaël Clifford
AUTOMATICA
1999
64views more  AUTOMATICA 1999»
15 years 6 months ago
Spatial balanced model reduction for flexible structures
This paper considers the problem of balanced model reduction for a class of distributed parameter systems. The system is assumed to have a finite-dimensional state vector as well ...
S. O. Reza Moheimani, Hemanshu Roy Pota, Ian R. Pe...