4 search results - page 1 / 1 » Automatic Rectangular Refinement of Affine Hybrid Systems |
FORMATS
2005
Springer
14 years 4 months ago
2005
Springer
IROS
2006
IEEE
14 years 4 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 11 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 11 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...