Sciweavers

7991 search results - page 127 / 1599
» Using More Reasoning to Improve
Sort
View
CDC
2008
IEEE
113views Control Systems» more  CDC 2008»
16 years 13 days ago
Exploiting Laguerre functions to improve the feasibility/performance compromise in MPC
Abstract— This paper develops a novel mechanism for managing the performance and feasibility trade off withing predictive control. Specifically, it demonstrates that the potenti...
J. Anthony Rossiter, Liuping Wang
AUSAI
2008
Springer
15 years 8 months ago
CASPER: A Case-Based Poker-Bot
This paper investigates the use of the case-based reasoning methodology applied to the game of Texas hold'em poker. The development of a CASe-based Poker playER (CASPER) is de...
Ian Watson, Jonathan Rubin
FMSD
2008
110views more  FMSD 2008»
15 years 6 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
KAIS
2000
86views more  KAIS 2000»
15 years 5 months ago
A Mathematical Foundation for Improved Reduct Generation in Information Systems
When data sets are analyzed, statistical pattern recognition is often used to find the information hidden in the data. Another approach to information discovery is data mining. Dat...
Janusz A. Starzyk, Dale E. Nelson, Kirk Sturtz
IJMMS
2007
103views more  IJMMS 2007»
15 years 5 months ago
Improving password security and memorability to protect personal and organizational information
Personal information and organizational information need to be protected, which requires that only authorized users gain access to the information. The most commonly used method f...
Kim-Phuong L. Vu, Robert W. Proctor, Abhilasha Bha...