2176 search results - page 366 / 436 » Refactoring Methods for Knowledge Bases |
117
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
126
click to vote
ICMCS
2010
IEEE
15 years 3 months ago
2010
IEEE
Sound Source Localization (SSL) based on microphone arrays has numerous applications, and has received significant research attention. Common to all published research is the obs...
141
click to vote
ASC
2008
15 years 3 months ago
2008
A dynamic classification using the support vector machine (SVM) technique is presented in this paper as a new `incremental' framework for multiple-classifying video stream da...
114
click to vote
BIOSYSTEMS
2008
15 years 3 months ago
2008
Despite several decades of intense study, protein folding problem remains elusive. In this paper, we review current knowledge and the prevailing thinking in the field, and summari...
119
click to vote
COR
2010
15 years 3 months ago
2010
The Multi-Compartment Vehicle Routing Problem (MC-VRP) consists of designing transportation routes to satisfy the demands of a set of costumers for several products that because o...