Sciweavers

17471 search results - page 3094 / 3495
» Information Modeling
Sort
View
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
15 years 11 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...
CAIP
1999
Springer
140views Image Analysis» more  CAIP 1999»
15 years 11 months ago
Complex Analysis for Reconstruction from Controlled Motion
We address the problem of control-based recovery of robot pose and the environmental lay-out. Panoramic sensors provide us with a 1D projection of characteristic features of a 2D ...
R. Andrew Hicks, David Pettey, Konstantinos Daniil...
ER
1999
Springer
160views Database» more  ER 1999»
15 years 11 months ago
Developing an Object-Oriented Video Database System with Spatio-Temporal Reasoning Capabilities
Video data management (VDM) is fast becoming one of seminar topics in multimedia information systems. In VDM systems, there exists an important need for novel techniques and mechan...
Shermann S.-M. Chan, Qing Li
RIDE
1999
IEEE
15 years 11 months ago
Specification of Cooperative Constraints in Virtual Enterprise Workflow
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
Anne H. H. Ngu
VISUALIZATION
1999
IEEE
15 years 11 months ago
Hue-Balls and Lit-Tensors for Direct Volume Rendering of Diffusion Tensor Fields
With the development of magnetic resonance imaging techniques for acquiring diffusion tensor data from biological tissue, visualization of tensor data has become a new research fo...
Gordon L. Kindlmann, David M. Weinstein
« Prev « First page 3094 / 3495 Last » Next »