Sciweavers

1757 search results - page 187 / 352
» Integrating and Extending JCSP
Sort
View
PAMI
2007
191views more  PAMI 2007»
15 years 5 months ago
Adaptive Object Tracking Based on an Effective Appearance Filter
We propose a similarity measure based on a Spatial-color Mixture of Gaussians (SMOG) appearance model for particle filters. This improves on the popular similarity measure based o...
Hanzi Wang, David Suter, Konrad Schindler, Chunhua...
ICRA
2010
IEEE
95views Robotics» more  ICRA 2010»
15 years 4 months ago
Optimizing coordinate choice for locomoting systems
Abstract— Gait evaluation techniques that use Stokes’s theorem to integrate a system’s equations of motion have traditionally been limited to finding only the net rotations ...
Ross L. Hatton, Howie Choset
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
15 years 4 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen
STTT
2010
126views more  STTT 2010»
15 years 4 months ago
Towards an industrial grade IVE for Java and next generation research platform for JML
Tool support for the Java Modeling Language (JML) is a very pressing problem. A main issue with current tools is their architecture: the cost of keeping up with the evolution of Ja...
Patrice Chalin, Robby, Perry R. James, Jooyong Lee...
BMVC
2010
15 years 4 months ago
Active 3D Segmentation through Fixation of Previously Unseen Objects
We present an approach for active segmentation based on integration of several cues. It serves as a framework for generation of object hypotheses of previously unseen objects in n...
Mårten Björkman, Danica Kragic