Sciweavers

8949 search results - page 610 / 1790
» is 1998
Sort
View
BROADBAND
1998
15 years 8 months ago
Blocking of dynamic multicast connections in a single link
In this paper, a method for calculating blocking experienced by dynamic multicast connections in a single link is presented. A service center at the root of a tree-type network pr...
Jouni Karvo, Jorma T. Virtamo, Samuli Aalto, Olli ...
CAIVD
1998
182views more  CAIVD 1998»
15 years 8 months ago
Content-Based 3D Neuroradiologic Image Retrieval: Preliminary Results
A content-based 3D neuroradiologic image retrieval system is being developed at the Robotics Institute of CMU. The special characteristics of this system include: 1 directly deali...
Yanxi Liu, William E. Rothfus, Takeo Kanade
EI
1998
51views more  EI 1998»
15 years 8 months ago
Spectral characterisation of electronic cameras
In order to properly calibrate an electronic camera for a variety of illuminantsit is necessary to estimate the spectral sensitivity of the camera. This spectral characterisation ...
Jon Yngve Hardeberg, Hans Brettel, Francis Schmitt
FBT
1998
129views Formal Methods» more  FBT 1998»
15 years 8 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz
FTCS
1998
84views more  FTCS 1998»
15 years 8 months ago
On the Use of Formal Techniques for Validation
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
Neeraj Suri, Purnendu Sinha