Sciweavers

3319 search results - page 27 / 664
» Type Theoretical Databases
Sort
View
101
Voted
HCI
2007
15 years 2 months ago
Activity Theoretical Analysis and Design Model for Web-Based Experimentation
This paper presents an Activity Theoretical analysis and design model for Web-based experimentation, which is one of the online activities that plays a key role in the development ...
Anh Vu Nguyen-Ngoc
93
Voted
IROS
2006
IEEE
132views Robotics» more  IROS 2006»
15 years 6 months ago
Theoretical Results on On-line Sensor Self-Calibration
— In this paper we derive theoretical results for the problem of on-line sensor calibration for a mobile robot. We consider the case of the odometry sensor. A first series of re...
Agostino Martinelli, Jan W. Weingarten, Roland Sie...
FSEN
2009
Springer
15 years 7 months ago
A Process-Theoretic Look at Automata
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Lutti...
113
Voted
PARA
2004
Springer
15 years 6 months ago
A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems
Abstract. This paper presents a method of solving initial value problems using Euler’s method, based on the domain of interval valued functions of a real variable. In contrast to...
Abbas Edalat, Dirk Pattinson
86
Voted
ATAL
2008
Springer
15 years 2 months ago
Theoretical and experimental results on the goal-plan tree problem
Agents programmed in BDI-inspired languages have goals to achieve and a library of plans that can be used to achieve them, typically requiring further goals to be adopted. This is...
Patricia H. Shaw, Berndt Farwer, Rafael H. Bordini