Sciweavers

11345 search results - page 1687 / 2269
» Foundations of Computer Science
Sort
View
ENC
2005
IEEE
16 years 1 days ago
A Probabilistic Relational Student Model for Virtual Laboratories
The main purpose of this work is to develop an intelligent tutor system coupled to a robotics virtual laboratory, in order to offer a tutored virtual learning environment. The stu...
Julieta Noguez, Luis Enrique Sucar
ENC
2005
IEEE
16 years 1 days ago
Inferring acceptable arguments with Answer Set Programming
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
Mauricio Osorio, Claudia Zepeda, Juan Carlos Nieve...
ESCIENCE
2005
IEEE
16 years 1 days ago
Panoply of Utilities in Taverna
The Taverna e-Science Workbench is a central component of myGrid, a loosely coupled suite of middleware services designed to support in silico experiments in biology. Taverna enab...
Katy Wolstencroft, Thomas M. Oinn, Carole A. Goble...
ISESE
2005
IEEE
16 years 14 hour ago
The use and usefulness of the ISO/IEC 9126 quality standard
This paper reports an evaluation the utility of ISO/IEC 9126. ISO/IEC 9126 is an international standard intended to ensure the quality of all software-intensive products including...
Hiyam Al-Kilidar, Karl Cox, Barbara Kitchenham
197
Voted
LICS
2005
IEEE
16 years 10 hour ago
Mean-Payoff Parity Games
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin...
« Prev « First page 1687 / 2269 Last » Next »