Sciweavers

1073 search results - page 65 / 215
» Reasoning about Continuous Processes
Sort
View
ACSAC
2006
IEEE
15 years 8 months ago
Address-Space Randomization for Windows Systems
Address-space randomization (ASR) is a promising solution to defend against memory corruption attacks that have contributed to about three-quarters of USCERT advisories in the pas...
Lixin Li, James E. Just, R. Sekar
KES
2005
Springer
15 years 8 months ago
Analysis of Conversation Quanta for Conversational Knowledge Circulation
: In this paper, we present a computational approach to understanding and augmenting the conversational knowledge process. We introduce the concept of the conversation quantization...
Ken Saito, Hidekazu Kubota, Yasuyuki Sumi, Toyoaki...
AAAI
2010
15 years 4 months ago
Goal-Driven Autonomy in a Navy Strategy Simulation
Modern complex games and simulations pose many challenges for an intelligent agent, including partial observability, continuous time and effects, hostile opponents, and exogenous ...
Matthew Molineaux, Matthew Klenk, David W. Aha
96
Voted
AISC
2008
Springer
15 years 4 months ago
Kantian Philosophy of Mathematics and Young Robots
A child, or young human-like robot of the future, needs to develop an information-processing architecture, forms of representation, and mechanisms to support perceiving, manipulati...
Aaron Sloman
CIA
2007
Springer
15 years 8 months ago
Managing Sensors and Information Sources Using Semantic Matchmaking and Argumentation
Abstract. Effective deployment and utilisation of limited and constrained intelligence resources — including sensors and other sources — is seen as a key issue in modern multin...
Alun D. Preece