10715 search results - page 1743 / 2143 » Proofs from Tests |
186
Voted
PTS
2007
15 years 9 months ago
2007
Extended Finite State Machine (EFSM)-based passive fault detection involves modeling the system under test (SUT) as an EFSM M, monitoring the input/output behaviors of the SUT, and...
198
Voted
SDM
2007
SIAM
15 years 9 months ago
2007
SIAM
The problem of combining the ranked preferences of many experts is an old and surprisingly deep problem that has gained renewed importance in many machine learning, data mining, a...
187
Voted
WICON
2008
15 years 9 months ago
2008
Much previous work has examined the wireless power control problem using tools from game theory, an economic concept which describes the behavior of interdependent but non-coopera...
252
Voted
WOTUG
2008
15 years 9 months ago
2008
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...
197
click to vote
AAAI
2006
15 years 9 months ago
2006
We study how to find plans that maximize the expected total utility for a given MDP, a planning objective that is important for decision making in high-stakes domains. The optimal...