Sciweavers

295 search results - page 5 / 59
» Special issue on intelligent computing theory and methodolog...
Sort
View
AAAI
1998
13 years 8 months ago
Computing Intersections of Horn Theories for Reasoning with Models
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino
ISLPED
2003
ACM
152views Hardware» more  ISLPED 2003»
14 years 20 days ago
An MTCMOS design methodology and its application to mobile computing
The Multi-Threshold CMOS (MTCMOS) technology provides a solution to the high performance and low power design requirements of modern designs. While the low Vth transistors are use...
Hyo-Sig Won, Kyo-Sun Kim, Kwang-Ok Jeong, Ki-Tae P...
AOSE
2005
Springer
14 years 29 days ago
Dealing with Adaptive Multi-agent Organizations in the Gaia Methodology
Changes and adaptations are always necessary after the deployment of a multiagent system (MAS), as well as of any other type of software systems. Some of these changes may be simpl...
Luca Cernuzzi, Franco Zambonelli
OHS
2001
Springer
13 years 12 months ago
Revisiting and Versioning in Virtual Special Reports
Adaptation/personalization is one of the main issues for web applications and require large repositories. Creating adaptive web applications from these repositories requires to hav...
Sébastien Iksal, Serge Garlatti
AAMAS
2011
Springer
13 years 2 months ago
Multi-agent role allocation: issues, approaches, and multiple perspectives
In cooperative multi-agent systems, roles are used as a design concept when creating large systems, they are known to facilitate specialization of agents, and they can help to redu...
Adam Campbell, Annie S. Wu