Sciweavers

6320 search results - page 46 / 1264
» Towards Situated Computing
Sort
View
IWFM
2003
172views Formal Methods» more  IWFM 2003»
15 years 3 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
IAT
2006
IEEE
15 years 8 months ago
Representing Context for Multiagent Trust Modeling
We present a universal mechanism that can be combined with existing trust models to extend their capabilities towards efficient modelling of the situational (contextdependent) tr...
Martin Rehák, Milos Gregor, Michal Pechouce...
SYNASC
2008
IEEE
266views Algorithms» more  SYNASC 2008»
15 years 8 months ago
On Computing Solutions of Linear Diophantine Equations with One Non-linear Parameter
We present an algorithm for solving Diophantine equations which are linear in the variables, but non-linear in one parameter. This enables us to compute data dependences in more ge...
Armin Größlinger, Stefan Schuster
EGC
2005
Springer
15 years 7 months ago
A Grid Architecture for Comfortable Robot Control
This paper describes a research project about robot control across a computing Grid, first step toward a Grid solution for generic process control. A computational Grid can signi...
Stéphane Vialle, Amelia De Vivo, Fabrice Sa...
UIST
1995
ACM
15 years 5 months ago
The World Through the Computer: Computer Augmented Interaction with Real World Environments
Current user interface techniques such as WIMP or the desktop metaphor do not support real world tasks, because the focus of these user interfaces is only on human–computer inte...
Jun Rekimoto, Katashi Nagao