Sciweavers

4513 search results - page 131 / 903
» Modeling with a Sense of Purpose
Sort
View
FSEN
2007
Springer
15 years 10 months ago
Test Selection Criteria for Quantifier-Free First-Order Specifications
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
Marc Aiguier, Agnès Arnould, Pascale Le Gal...
ICFEM
2010
Springer
15 years 4 months ago
Model-Driven Protocol Design Based on Component Oriented Modeling
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
Prabhu Shankar Kaliappan, Hartmut König, Seba...
ICCV
2001
IEEE
16 years 8 months ago
Using Scene Constraints during the Calibration Procedure
This paper focuses on the problem of calibration from a single view and a map of a scene. This situation arises quite often when modelling urban scenes, e.g. for augmented reality...
Didier Bondyfalat, Théodore Papadopoulo, Be...
ISCAS
2007
IEEE
101views Hardware» more  ISCAS 2007»
16 years 20 days ago
Automated HDL Generation: Comparative Evaluation
— Reconfigurable computing (RC) systems, coupling general purpose processor with reconfigurable components, offer a lot of advantages. Nevertheless, currently a designer needs ...
Yana Yankova, Koen Bertels, Stamatis Vassiliadis, ...
IBPRIA
2003
Springer
15 years 11 months ago
The Log-polar Image Representation in Pattern Recognition Tasks
Abstract. This paper is a review of works about the use of the logpolar image model for pattern recognition purposes. Particular attention is paid to the rotation- and scale-invari...
V. Javier Traver, Filiberto Pla