Sciweavers

2639 search results - page 254 / 528
» Biological Systems as Reactive Systems
Sort
View
HAPTICS
2007
IEEE
16 years 1 months ago
Multi-Fingered Haptic Interface Robot Handling Plural Tool Devices
Tool-type haptic interfaces such as scissors are used to present force feeling for surgical training in virtual reality environment. Presentation of force feelings of plural tools...
Haruhisa Kawasaki, Tetsuya Mouri, Sho Ikenohata, Y...
HICSS
2007
IEEE
109views Biometrics» more  HICSS 2007»
16 years 1 months ago
Towards Reliable Computation of Large-Scale Market-Based Optimal Power Flow
The deregulated electricity market calls for robust OPF tools that can provide (a) deterministic convergence, (b) accurate computation of a variety of nodal prices, (c) support of...
Hongye Wang, Robert J. Thomas
CONCUR
2005
Springer
16 years 8 days ago
Games Where You Can Play Optimally Without Any Memory
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...
Hugo Gimbert, Wieslaw Zielonka
POLICY
2005
Springer
16 years 6 days ago
Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
Javier Rubio-Loyola, Joan Serrat, Marinos Charalam...
CONCUR
2004
Springer
16 years 3 days ago
Open Maps, Alternating Simulations and Control Synthesis
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
Paulo Tabuada