3441 search results - page 443 / 689 » Parallel Logic Programming Systems |
126
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted n...
133
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
150
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
This paper presents our progress on OpenVL - a novel software architecture to address efficiency through facilitating hardware acceleration, reusability and scalability for comput...
171
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
In this paper a fuzzy model based on Adaptive Neuro-Fuzzy Inference System (ANFIS) is introduced for calculating the level of risk in managerial problems. In this model, affecting ...
162
click to vote
ISQED
2008
IEEE
15 years 11 months ago
2008
IEEE
—Power and energy consumption has emerged as the premier and most constraining aspect in modern computational systems. Dynamic Voltage Scheduling (DVS) has been provably one of t...