8496 search results - page 129 / 1700 » Problem Solving and Complex Systems |
139
click to vote
AAAI
1993
15 years 6 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
151
click to vote
ICCSA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Network-server architecture has become a de-facto standard for Distributed Virtual Environment (DVE) systems. In these systems, a large set of remote users share a 3D vir...
144
click to vote
CDC
2010
IEEE
15 years 1 days ago
2010
IEEE
Event-triggered control systems are systems in which the control signal is recomputed when the plant's output signal leaves a triggering-set. There has been recent interest in...
140
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
One of the main contributions of classical mechanism design is the derivation of the Groves mechanisms. The class of Groves mechanisms are the only mechanisms that are strategy-pr...
156
click to vote
CAEPIA
2003
Springer
15 years 10 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 ...