Sciweavers

3066 search results - page 6 / 614
» On Facilitating Automated Evaluation
Sort
View
JWSR
2006
168views more  JWSR 2006»
13 years 7 months ago
Facilitating the Specification of Semantic Web Services Using Model-Driven Development
The Semantic Web promises automated invocation, discovery, and composition of Web services by enhancing services with semantic descriptions. An upper ontology for Web services cal...
Gerald C. Gannod, John T. E. Timm, Raynette J. Bro...
ROMAN
2007
IEEE
117views Robotics» more  ROMAN 2007»
14 years 1 months ago
Methodological Issues in Facilitating Rhythmic Play with Robots
— We are currently investigating the use of rhythm and synchrony in human-robot interaction. Specifically, we are developing techniques for the perception and generation of soci...
Marek P. Michalowski, Hideki Kozima
LPAR
2001
Springer
14 years 2 days ago
Inferring Termination Conditions for Logic Programs Using Backwards Analysis
This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalizes traditional termination analysis where an analyzer tries to veri...
Samir Genaim, Michael Codish
EWCBR
2006
Springer
13 years 11 months ago
Multi-agent Case-Based Reasoning for Cooperative Reinforcement Learners
Abstract. In both research fields, Case-Based Reasoning and Reinforcement Learning, the system under consideration gains its expertise from experience. Utilizing this fundamental c...
Thomas Gabel, Martin Riedmiller
SCESM
2006
ACM
247views Algorithms» more  SCESM 2006»
14 years 1 months ago
Automating software architecture exploration with M2Aspects
An important step in the development of large-scale distributed reactive systems is the design of effective system architectures. The early availability of prototypes facilitates...
Ingolf H. Krüger, Gunny Lee, Michael Meisinge...