12774 search results - page 2303 / 2555 » A Framework for Proof Systems |
203
click to vote
CRITIS
2007
15 years 8 months ago
2007
We propose and investigate a game-theoretic approach to the malware filtering and detector placement problem which arises in network security. Our main objective is to develop opt...
155
click to vote
ISLPED
2007
ACM
15 years 8 months ago
2007
ACM
Increases in peak current draw and reductions in the operating voltages of processors continue to amplify the importance of dealing with voltage fluctuations in processors. One a...
159
click to vote
AAAI
2010
15 years 8 months ago
2010
Modern complex games and simulations pose many challenges for an intelligent agent, including partial observability, continuous time and effects, hostile opponents, and exogenous ...
153
click to vote
AAAI
2010
15 years 8 months ago
2010
The behavior of a complex system often depends on parameters whose values are unknown in advance. To operate effectively, an autonomous agent must actively gather information on t...
180
click to vote
ACL
2008
15 years 8 months ago
2008
Entropy Guided Transformation Learning (ETL) is a new machine learning strategy that combines the advantages of decision trees (DT) and Transformation Based Learning (TBL). In thi...