Sciweavers

1995 search results - page 168 / 399
» What's the Problem
Sort
View
IWSSD
2000
IEEE
15 years 8 months ago
Model Checking Implicit-Invocation Systems
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
David Garlan, Serge Khersonsky
SIGCSE
2000
ACM
120views Education» more  SIGCSE 2000»
15 years 8 months ago
Object-orientation in Java for scientific programmers
Scientific programmers have traditionally programmed in entirely sequential languages such as Fortran, C or Pascal and it could be argued that object-orientation is not a concept ...
Judith Bishop, Nigel Bishop
CHI
1999
ACM
15 years 8 months ago
The GAZE Groupware System: Mediating Joint Attention in Multiparty Communication and Collaboration
In this paper, we discuss why, in designing multiparty mediated systems, we should focus first on providing non-verbal cues which are less redundantly coded in speech than those n...
Roel Vertegaal
HICSS
1999
IEEE
72views Biometrics» more  HICSS 1999»
15 years 8 months ago
Creation of Professional Networks: An Emergent Model using Telemedicine as a Case
Information technologies enhance efficiency oriented organizational networks and enable creation of expertise oriented professional networks. However, whether IT-enabled efficienc...
H. Õseyin Tanriverdi, N. Venkatraman
ICRA
1998
IEEE
111views Robotics» more  ICRA 1998»
15 years 8 months ago
Weighting Observations: The Use of Kinematic Models in Object Tracking
We describe a model-based object tracking system that updates the configuration parameters of an object model based upon information gathered from a sequence of monocular images. ...
Kevin Nickels, Seth Hutchinson