Sciweavers

2576 search results - page 266 / 516
» Methodology work is ontology work
Sort
View
EVOW
2010
Springer
15 years 10 months ago
Local Search Algorithms on Graphics Processing Units. A Case Study: The Permutation Perceptron Problem
Optimization problems are more and more complex and their resource requirements are ever increasing. Although metaheuristics allow to significantly reduce the computational complex...
Thé Van Luong, Nouredine Melab, El-Ghazali ...
AAAI
2007
15 years 9 months ago
Intention Guided Belief Revision
This paper aims to investigate methodologies to utilize an agent’s intentions as a means to guide the revision of its beliefs. For this purpose, we develop a collection of belie...
Timothy William Cleaver, Abdul Sattar
WSC
2007
15 years 9 months ago
Beyond the university: simulation education on the job
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
Peter Tag, David Krahl
ASM
2008
ASM
15 years 8 months ago
Model Checking Event-B by Encoding into Alloy
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
Paulo J. Matos, João Marques-Silva
ATAL
2008
Springer
15 years 8 months ago
Approximate bidding algorithms for a distributed combinatorial auction
Distributed allocation and multiagent coordination problems can be solved through combinatorial auctions (CAs). However, most of the existing winner determination algorithms (WDAs...
Benito Mendoza García, José M. Vidal