Sciweavers

6616 search results - page 232 / 1324
» Can markets help
Sort
View
FOCS
2008
IEEE
13 years 12 months ago
Quantum Multi Prover Interactive Proofs with Communicating Provers
We introduce another variant of Quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are u...
Michael Ben-Or, Avinatan Hassidim, Haran Pilpel
ICML
2010
IEEE
13 years 12 months ago
Internal Rewards Mitigate Agent Boundedness
Abstract--Reinforcement learning (RL) research typically develops algorithms for helping an RL agent best achieve its goals-however they came to be defined--while ignoring the rela...
Jonathan Sorg, Satinder P. Singh, Richard Lewis
CORR
2010
Springer
155views Education» more  CORR 2010»
13 years 11 months ago
Towards Performance Measurement And Metrics Based Analysis of PLA Applications
This article is about a measurement analysis based approach to help software practitioners in managing the additional level complexities and variabilities in software product line...
Zeeshan Ahmed
ENTCS
2008
95views more  ENTCS 2008»
13 years 10 months ago
A Rule-based Method to Match Software Patterns Against UML Models
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...
Demis Ballis, Andrea Baruzzo, Marco Comini
INFSOF
2008
57views more  INFSOF 2008»
13 years 10 months ago
Consistency in multi-viewpoint design of enterprise information systems
Different stakeholders in the design of an enterprise information system have their own view on that design. To help produce a coherent design this paper presents a framework that...
Remco M. Dijkman, Dick A. C. Quartel, Marten van S...