4 search results - page 1 / 1 » Automatic Rectangular Refinement of Affine Hybrid Systems |
FORMATS
2005
Springer
14 years 2 months ago
2005
Springer
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— We present a computational framework for automatic deployment of robots in 2D and 3D rectangular environments with polytopal obstacles. The results are derived for poly...
KDD
2005
ACM
14 years 9 months ago
2005
ACM
We propose a hybrid, unsupervised document clustering approach that combines a hierarchical clustering algorithm with Expectation Maximization. We developed several heuristics to ...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...