Sciweavers

3581 search results - page 573 / 717
» The Inframetric Model for the Internet
Sort
View
ICCAD
2000
IEEE
149views Hardware» more  ICCAD 2000»
15 years 10 months ago
Dynamic Response Time Optimization for SDF Graphs
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
Dirk Ziegenbein, Jan Uerpmann, Ralph Ernst
ICEIS
2000
IEEE
15 years 10 months ago
A User-Friendly Development Tool for Medical Diagnosis Based on Bayesian Networks
: This paper presents a web supported development tool specific for medical diagnosis, based on Bayesian networks. The proposed system provides a user-friendly interface, giving th...
Isabel Milho, Ana L. N. Fred
IV
2000
IEEE
95views Visualization» more  IV 2000»
15 years 10 months ago
An Information Database for VRML Cities
A system is presented to visualize information about city with a three-dimensional web user interface. We present a novel way to connect a VRML world to an information database. A...
Arttu Heinonen, Simo Pulkkinen, Ismo Rakkolainen
TPHOL
2000
IEEE
15 years 10 months ago
Routing Information Protocol in HOL/SPIN
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
ADC
2000
Springer
82views Database» more  ADC 2000»
15 years 10 months ago
Querying Databases of Annotated Speech
Annotated speech corpora are databases consisting of signal data along with time-aligned symbolic ‘transcriptions’. Such databases are typically multidimensional, heterogeneou...
Steve Cassidy, Steven Bird