Sciweavers

1416 search results - page 92 / 284
» Designing creative artificial systems
Sort
View
ATAL
2009
Springer
15 years 11 months ago
A multi-agent system for service discovery, selection and negotiation
Service-oriented computing can benefit from multi-agent system technologies by adopting the coordination mechanisms, interaction protocols, and decision-making tools designed for...
Stefano Bromuri, Visara Urovi, Maxime Morge, Kosta...
LATA
2010
Springer
16 years 2 months ago
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
Neda Saeedloei and Gopal Gupta
161
Voted
CHI
2008
ACM
16 years 5 months ago
The LilyPad Arduino: using computational textiles to investigate engagement, aesthetics, and diversity in computer science educa
The advent of novel materials (such as conductive fibers) combined with accessible embedded computing platforms have made it possible to re-imagine the landscapes of fabric and el...
Leah Buechley, Michael Eisenberg, Jaime Catchen, A...
CAEPIA
2003
Springer
15 years 10 months ago
X-Learn: An Intelligent Educational System Oriented towards the Net
Nowadays, there is a need for smart learning environments that offer personal services with capabilities to learn, reason, have autonomy and be totally dynamic. In this paper, we p...
Juan C. Burguillo-Rial, Ernesto Vázquez
KCAP
2005
ACM
15 years 10 months ago
Acquisition and maintenance of constraints in engineering design
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...
Suraj Ajit, Derek H. Sleeman, David W. Fowler, Dav...