Sciweavers

12487 search results - page 2069 / 2498
» Graspable Work Modeling
Sort
View
ATAL
2004
Springer
16 years 9 days ago
Accurate and Flexible Simulation for Dynamic, Vision-Centric Robot
As robots become more complex by incorporating dynamic stability or greater mechanical degrees of freedom, the difficulty of developing control algorithms directly on the robot in...
Jared Go, Brett Browning, Manuela M. Veloso
ATAL
2004
Springer
16 years 9 days ago
Communication for Improving Policy Computation in Distributed POMDPs
Distributed Partially Observable Markov Decision Problems (POMDPs) are emerging as a popular approach for modeling multiagent teamwork where a group of agents work together to joi...
Ranjit Nair, Milind Tambe, Maayan Roth, Makoto Yok...
CAISE
2004
Springer
16 years 9 days ago
Office Activity Procedure Exception Handling Realization Difficulties
Office activity procedure automation is getting very popular in major organizations. During the automation then workflow method is chosen frequently, because of its possibility to ...
Dovile Vojevodina, Genadijus Kulvietis
CASSIS
2004
Springer
16 years 9 days ago
ESC/Java2: Uniting ESC/Java and JML
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
David R. Cok, Joseph Kiniry
CC
2004
Springer
110views System Software» more  CC 2004»
16 years 9 days ago
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
Venkatesh Prasad Ranganath, John Hatcliff
« Prev « First page 2069 / 2498 Last » Next »