Sciweavers

1912 search results - page 41 / 383
» On the evaluation of argumentation formalisms
Sort
View
EUROCAST
2005
Springer
104views Hardware» more  EUROCAST 2005»
15 years 5 months ago
A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots
Abstract. This paper presents a new general method for obstacle representation in the configuration space (C-space) for redundant robots. The method is based on the analytical dec...
Roberto Therón, Vidal Moreno, Belén ...
FLAIRS
1998
15 years 1 months ago
A Formal Framework for the Objective Evaluation of Edge Detectors
Edge detection is one of the most-studied problems in the field of computervision. However,there is no standard method of objectively and accurately evaluating the performance of ...
Sean Dougherty, Kevin W. Bowyer
CHARME
2001
Springer
109views Hardware» more  CHARME 2001»
15 years 4 months ago
Formally-Based Design Evaluation
Kenneth J. Turner, Ji He
EMSOFT
2006
Springer
15 years 3 months ago
Formal performance evaluation of AMBA-based system-on-chip designs
Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen,...