4340 search results - page 744 / 868 » Formal Methods and Cryptography |
141
click to vote
WISE
2003
Springer
15 years 9 months ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
133
click to vote
ICML
2003
IEEE
15 years 9 months ago
2003
IEEE
Shaping can be an effective method for improving the learning rate in reinforcement systems. Previously, shaping has been heuristically motivated and implemented. We provide a for...
135
click to vote
KCAP
2003
ACM
15 years 9 months ago
2003
ACM
Many AI tasks require determining whether two knowledge representations encode the same knowledge. Solving this matching problem is hard because representations may encode the sam...
149
Voted
AI
2003
Springer
15 years 9 months ago
2003
Springer
Many AI tasks can be formalized as constraint satisfaction problems (CSPs), which involve finding values for variables subject to constraints. While solving a CSP is an NP-complet...
154
click to vote
CCS
2003
ACM
15 years 9 months ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...