4573 search results - page 908 / 915 » Automated Reasoning |
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
- Many electronic systems contain implementations of cryptographic algorithms in order to provide security. It is well known that cryptographic algorithms, irrespective of their th...
AAAI
2007
13 years 12 months ago
2007
This paper describes an e-Government AI project that provides a range of intelligent AI services to support automated assessment of various types of applications submitted to an i...
AIPS
2007
13 years 12 months ago
2007
In context-aware route planning, agents have to plan their route on a common infrastructure in such a way that plans made by other agents are not invalidated, and no conflicts ar...
FLAIRS
2008
13 years 12 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
ECLIPSE
2005
ACM
13 years 11 months ago
2005
ACM
One of the reasons why large-scale software development is difficult is the number of dependencies that software engineers need to face: e.g., dependencies among the software comp...