Sciweavers

1789 search results - page 186 / 358
» Extending the Choquet integral
Sort
View
ICRA
2010
IEEE
95views Robotics» more  ICRA 2010»
15 years 5 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 5 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 5 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
FSTTCS
2010
Springer
15 years 4 months ago
Two Size Measures for Timed Languages
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...
Eugene Asarin, Aldric Degorre