4693 search results - page 836 / 939 » Verifying Hybrid Systems |
120
click to vote
TOG
2002
15 years 10 days ago
2002
Placing shadows is difficult task since shadows depend on the relative positions of lights and objects in an unintuitive manner. To simplify the task of the modeler, we present a ...
111
click to vote
CORR
2007
Springer
15 years 7 days ago
2007
Springer
Background: Prostate brachytherapy consists in placing radioactive seeds for tumour destruction under transrectal ultrasound imaging (TRUS) control. It requires prostate delineati...
82
Voted
ESWA
2010
14 years 11 months ago
2010
The automotive engine performance is greatly affected by the calibration of its electronic control unit (ECU). The method for ECU calibration is traditionally done by trial-and-er...
111
click to vote
INTEGRATION
2008
14 years 11 months ago
2008
This paper presents a Viterbi Decoder (VD) architecture for a programmable data transmission system, implemented using a Field Programmable Gate Array (FPGA) device. This VD has b...
93
Voted
IFM
2010
Springer
14 years 11 months ago
2010
Springer
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the...