6431 search results - page 1081 / 1287 » Model Building by Resolution |
187
click to vote
AIIA
2007
Springer
16 years 20 days ago
2007
Springer
The application of Reinforcement Learning (RL) algorithms to learn tasks for robots is often limited by the large dimension of the state space, which may make prohibitive its appli...
178
click to vote
AOSE
2007
Springer
16 years 20 days ago
2007
Springer
This paper describes the Organization-based Multiagent System Engineering (O-MaSE) Process Framework, which helps process engineers define custom multiagent systems development pr...
162
click to vote
CAV
2007
Springer
16 years 20 days ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
187
click to vote
CCS
2007
ACM
16 years 20 days ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
144
click to vote
CICLING
2007
Springer
16 years 20 days ago
2007
Springer
The need of having a Passage Retrieval (PR) system for Arabic texts is due essentially to our aim to build an Arabic Question Answering (QA) system in our research team. We have ch...