Sciweavers

1351 search results - page 214 / 271
» A Possible Approach to the Development of Robotic Multi-Agen...
Sort
View
TABLETOP
2008
IEEE
16 years 6 days ago
IntuPaint: Bridging the gap between physical and digital painting
This paper presents a novel interface for a digital paint system: IntuPaint. A tangible interface for a digital paint easel, using an interactive surface and electronic brushes wi...
Peter Vandoren, Tom Van Laerhoven, Luc Claesen, Jo...
IFM
2004
Springer
15 years 11 months ago
Verifying Controlled Components
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
Steve Schneider, Helen Treharne
KI
1999
Springer
15 years 10 months ago
Revising Nonmonotonic Theories: The Case of Defeasible Logic
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
David Billington, Grigoris Antoniou, Guido Governa...
ECAI
2010
Springer
15 years 7 months ago
Bayesian Monte Carlo for the Global Optimization of Expensive Functions
In the last decades enormous advances have been made possible for modelling complex (physical) systems by mathematical equations and computer algorithms. To deal with very long run...
Perry Groot, Adriana Birlutiu, Tom Heskes
UAIS
2008
155views more  UAIS 2008»
15 years 5 months ago
Adaptive course generation through learning styles representation
This paper presents an approach to automatic course generation and student modeling. The method has been developed during the European funded projects Diogene and Intraserv, focuse...
Enver Sangineto, Nicola Capuano, Matteo Gaeta, Ale...