456 search results - page 46 / 92 » What is good |
180
click to vote
ENTCS
2002
15 years 5 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
140
Voted
AICOM
2002
15 years 5 months ago
2002
In the last years, dozens of environments for modeling, testing and finally implementing multi-agent systems have been developed. Unfortunately, no standard criteria for understand...
158
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
This paper investigates the level of metadata accuracy required for image filters to be valuable to users. Access to large digital image and video collections is hampered by ambig...
167
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
148
click to vote
PPPJ
2003
ACM
15 years 11 months ago
2003
ACM
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...