5550 search results - page 66 / 1110 » Different Approaches to Proof Systems |
149
click to vote
CIT
2007
Springer
15 years 10 months ago
2007
Springer
Existing approaches on reliability assessment of the system have limitations such as performance entirely depends on expertise, knowledge of system analysts and computation of usa...
160
click to vote
IROS
2008
IEEE
16 years 17 days ago
2008
IEEE
— One of the main challenges in telerobotics is the selection of control architectures and control parameters, which are able to robustly stabilize the overall teleoperation syst...
224
click to vote
TSMC
2008
15 years 6 months ago
2008
This paper proposes a new perspective for solving systems of complex nonlinear equations by simply viewing them as a multiobjective optimization problem. Every equation in the syst...
159
click to vote
EUMAS
2006
15 years 7 months ago
2006
Systems often exhibit hierarchical structures and multiple levels of abstraction, and MultiAgent Systems, even if they have proved their adequacy to model such systems, mains in t...
169
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
The Partitioning problem is a key issue in the design of Distributed Virtual Environment (DVE) systems based on a server-network architecture. This problem consist of efficiently ...