Sciweavers

2351 search results - page 244 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
ICCAD
2004
IEEE
80views Hardware» more  ICCAD 2004»
16 years 2 months ago
HiSIM: hierarchical interconnect-centric circuit simulator
To ensure the power and signal integrity of modern VLSI circuits, it is crucial to analyze huge amount of nonlinear devices together with enormous interconnect and even substrate ...
Tsung-Hao Chen, Jeng-Liang Tsai, Tanay Karnik
HICSS
2007
IEEE
87views Biometrics» more  HICSS 2007»
16 years 4 days ago
Eliciting Conceptual Models to Support Interdisciplinary Research
Constructing interdisciplinary knowledge requires knowledge sharing between researchers studying the same object from different disciplinary angles. Such sharing is particularly d...
Pieter J. Beers, Pieter W. G. Bots
BIOSURVEILLANCE
2007
Springer
16 years 3 hour ago
Assessing Seasonal Variation in Multisource Surveillance Data: Annual Harmonic Regression
A significant proportion of human diseases, spanning the gamut from viral respiratory disease to arthropod-borne macroparasitic infections of the blood, exhibit distinct and stable...
Eric Lofgren, Nina Fefferman, Meena Doshi, Elena N...
ICRA
2005
IEEE
134views Robotics» more  ICRA 2005»
15 years 11 months ago
3-D Measurement of Objects in Unknown Aquatic Environments with a Laser Range Finder
Abstract— In this paper, we propose a three-dimensional (3D) measurement method of objects in aquatic environments whose refractive indices or boundary shape of the refraction ar...
Atsushi Yamashita, Shinsuke Ikeda, Toru Kaneko
PE
2002
Springer
132views Optimization» more  PE 2002»
15 years 5 months ago
Performance evaluation with temporal rewards
Today many formalisms exist for specifying complex Markov chains. In contrast, formalisms for specifying rewards, enabling the analysis of long-run average performance properties,...
Jeroen Voeten