3799 search results - page 561 / 760 » An Engineering Approach to Formal Methods |
179
click to vote
EKAW
2010
Springer
15 years 5 months ago
2010
Springer
Ontology Summarization has been found useful to facilitate ontology engineering tasks in a number of different ways. Recently, it has been recognised as a means to facilitate ontol...
214
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Image denoising can be described as the problem of mapping from a noisy image to a noise-free image. The best currently available denoising methods approximate this mapping with c...
200
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Designing realistic multi-agent systems is a complex process, which involves specifying not only the functionality of individual agents, but also the authority relationships and l...
159
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
215
click to vote
DMS
2008
15 years 8 months ago
2008
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...