Sciweavers

12783 search results - page 200 / 2557
» Experimenting with computing
Sort
View
ISWC
1997
IEEE
15 years 10 months ago
Towards Situated Computing
Situated computing concerns the ability of computing devices to detect, interpret and respond to aspects of the user’s local environment. In this paper, we use our recent protot...
Richard Hull 0002, Philip Neaves, James Bedford-Ro...
IJCV
2006
218views more  IJCV 2006»
15 years 6 months ago
Stabilizing the Focal Length Computation for 3-D Reconstruction from Two Uncalibrated Views
In order to reconstruct 3-D shape from two uncalibrated views, one needs to resolve two problems: (i) the computed focal lengths can be imaginary; (ii) the computation fails for fi...
Ken-ichi Kanatani, Atsutada Nakatsuji, Yasuyuki Su...
WWW
2001
ACM
16 years 7 months ago
Online Learning in Hong Kong: A Preliminary Comparison of the Lecture and Online Versions of a Computing Fundamentals Course
This case study compares students' learning experience and outcomes in the lecture and online versions of a first-year introductory computing course offered at the Department...
Giovanni B. Moneta, Synnöve Kekkonen-Moneta
GBRPR
2009
Springer
15 years 11 months ago
A Recursive Embedding Approach to Median Graph Computation
The median graph has been shown to be a good choice to infer a representative of a set of graphs. It has been successfully applied to graph-based classification and clustering. Ne...
Miquel Ferrer, Dimosthenis Karatzas, Ernest Valven...
ICSE
2008
IEEE-ACM
16 years 7 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...