Sciweavers

96 search results - page 5 / 20
» A Methodology to Improve Dependability in Spreadsheets
Sort
View
ICSE
2011
IEEE-ACM
12 years 11 months ago
A lightweight code analysis and its role in evaluation of a dependability case
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang,...
DAC
1997
ACM
14 years 18 hour 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
IJMSO
2010
118views more  IJMSO 2010»
13 years 6 months ago
Dependencies between ontology design parameters
: Development and use of ontologies is increasing, but hampered by new challenges, such as determining which ontologies to reuse and which language to use. Ontology development met...
C. Maria Keet
ICRA
2006
IEEE
113views Robotics» more  ICRA 2006»
14 years 1 months ago
Integration of Dependent Bayesian Filters for Robust Tracking
— Robotics applications based on computer vision algorithms are highly constrained to indoor environments where conditions may be controlled. The development of robust visual alg...
Francesc Moreno-Noguer, Alberto Sanfeliu, Dimitris...
ICVS
1999
Springer
14 years 3 days ago
Improving 3D Active Visual Tracking
Tracking in 3D with an active vision system depends on the performance of both motor control and vision algorithms. Tracking is performed based on different visual behaviors, name...
João P. Barreto, Paulo Peixoto, Jorge Batis...