Sciweavers

731 search results - page 89 / 147
» Applying a Model Driven Approach to an E-Business Environmen...
Sort
View
KBSE
2009
IEEE
15 years 5 months ago
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
ICRA
2010
IEEE
275views Robotics» more  ICRA 2010»
14 years 9 months ago
A measurement model for tracking hand-object state during dexterous manipulation
— It is frequently accepted in the manipulation literature that tactile sensing is needed to improve the precision of robot manipulation. However, there is no consensus on how th...
Craig Corcoran, Robert Platt
SIGGRAPH
1999
ACM
15 years 3 months ago
Six Degree-of-Freedom Haptic Rendering Using Voxel Sampling
A simple, fast, and approximate voxel-based approach to 6DOF haptic rendering is presented. It can reliably sustain a 1000 Hz haptic refresh rate without resorting to asynchronous...
William A. McNeely, Kevin D. Puterbaugh, James J. ...
89
Voted
JSS
2010
120views more  JSS 2010»
14 years 9 months ago
An evaluation of timed scenario notations
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
Jameleddine Hassine, Juergen Rilling, Rachida Dsso...
ICML
2008
IEEE
15 years 11 months ago
Non-parametric policy gradients: a unified treatment of propositional and relational domains
Policy gradient approaches are a powerful instrument for learning how to interact with the environment. Existing approaches have focused on propositional and continuous domains on...
Kristian Kersting, Kurt Driessens