Sciweavers

4763 search results - page 691 / 953
» On the Execution of Deep Models
Sort
View
FM
2008
Springer
77views Formal Methods» more  FM 2008»
15 years 8 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
FPLAY
2008
15 years 8 months ago
Crafting game-models using reactive system design
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
David Harel, Itai Segall, Hillel Kugler, Yaki Sett...
IADIS
2008
15 years 8 months ago
Usability Evaluation Of The Moodle System From The Teachers' Perspective
This article presents an empirical study performed to evaluate the Moodle usability, from the point of view of teachers who are using this system to support their classes. The usa...
Tereza G. Kirner, Carlos de A. Custódio, Cl...
AAAI
2006
15 years 8 months ago
Improving Approximate Value Iteration Using Memories and Predictive State Representations
Planning in partially-observable dynamical systems is a challenging problem, and recent developments in point-based techniques such as Perseus significantly improve performance as...
Michael R. James, Ton Wessling, Nikos A. Vlassis
CLIMA
2006
15 years 8 months ago
Answer Set Programming for Representing and Reasoning About Virtual Institutions
It is recognised that institutions are potentially powerful means for making agent interactions effective and efficient, but institutions will only really be useful when, as in oth...
Owen Cliffe, Marina De Vos, Julian A. Padget