Sciweavers

7742 search results - page 140 / 1549
» The Robustness of Level Sets
Sort
View
WECWIS
2007
IEEE
113views ECommerce» more  WECWIS 2007»
16 years 23 days ago
Changing Circumstances and Leveled Commitment: A Compensatory Approach to Contracting
In dynamic and uncertain e-commerce settings, the value of contracts can change after they have been entered into. Sometimes this can make the contract in question counterproducti...
Ilja Ponka, Nicholas R. Jennings
EMMCVPR
2007
Springer
16 years 20 days ago
3D Computation of Gray Level Co-occurrence in Hyperspectral Image Cubes
This study extended the computation of GLCM (gray level co-occurrence matrix) to a three-dimensional form. The objective was to treat hyperspectral image cubes as volumetric data s...
Fuan Tsai, Chun-Kai Chang, Jian-Yeo Rau, Tang-Huan...
ADAEUROPE
2005
Springer
16 years 1 days ago
Non-intrusive System Level Fault-Tolerance
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
Kristina Lundqvist, Jayakanth Srinivasan, Sé...
FM
2003
Springer
108views Formal Methods» more  FM 2003»
15 years 11 months ago
Correctness of Source-Level Safety Policies
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
Ewen Denney, Bernd Fischer 0002
DAC
1997
ACM
15 years 10 months ago
Methodology for Behavioral Synthesis-Based Algorithm-Level Design Space Exploration: DCT Case Study
: Numerous fast algorithms for the Discrete Cosine Transform DCT have been proposed. Until recently, it has been di cult to compare di erent DCT algorithms and select one which i...
Miodrag Potkonjak, Kyosun Kim, Ramesh Karri