6431 search results - page 1081 / 1287 » Model Building by Resolution |
145
Voted
AIIA
2007
Springer
15 years 9 months 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...
141
Voted
AOSE
2007
Springer
15 years 9 months 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...
118
Voted
CAV
2007
Springer
15 years 9 months 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 ...
142
Voted
CCS
2007
ACM
15 years 9 months 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...
108
Voted
CICLING
2007
Springer
15 years 9 months 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...