Sciweavers

3868 search results - page 118 / 774
» Open Systems in TLA
Sort
View
IANDC
2000
64views more  IANDC 2000»
15 years 6 months ago
Bisimilarity of Open Terms
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is to de ne its closed-instance extension, Rci, which holds for a given pair of ope...
Arend Rensink
CVPR
2007
IEEE
16 years 8 months ago
OpenVL: Towards A Novel Software Architecture for Computer Vision
This paper presents our progress on OpenVL - a novel software architecture to address efficiency through facilitating hardware acceleration, reusability and scalability for comput...
Changsong Shen, S. Sidney Fels, James J. Little
IROS
2008
IEEE
131views Robotics» more  IROS 2008»
16 years 1 months ago
OpenRDK: A modular framework for robotic software development
— Intense efforts to define a common structure in robotic applications, both from a conceptual and from an implementation point of view, have been carried out in the last years ...
Daniele Calisi, Andrea Censi, Luca Iocchi, Daniele...
UM
2007
Springer
16 years 29 days ago
Visual Attention in Open Learner Model Presentations: An Eye-Tracking Investigation
Using an eye-tracker, this paper investigates the information that learners visually attend to in their open learner model, and the degree to which this is related to the method of...
Susan Bull, Neil Cooke, Andrew Mabbott
ELPUB
2006
ACM
16 years 25 days ago
Open Access and Bakhtinian Dialogism
The article explores Open Access in the context of recent contributions in communication and public relations theory, notably Bakhtinian dialogism. Increasingly since the 1960s co...
Robert W. Vaagan