Sciweavers

6014 search results - page 550 / 1203
» Structural Testing with Use Cases
Sort
View
AUSAI
1997
Springer
15 years 11 months ago
Evaluating a Qualitative Reasoner
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
Sam Waugh, Tim Menzies, Simon Goss
EURODAC
1994
IEEE
138views VHDL» more  EURODAC 1994»
15 years 11 months ago
A VHDL-based bus model for multi-PCB system design
In the development of bus-based systems and individual PCB boards interfacing to a bus, the simulation usually requires a specific test bench or creation of quite complex stimuli....
Jari Toivanen, Jari Honkola, Jari Nurmi, Jyrki Tuo...
HT
2007
ACM
15 years 11 months ago
Semport: a personalized semantic portal
This paper presents an ontology-based semantic portal, SEMPort, which aims to support both content providers and the users of the portal during providing information, browsing and...
Melike Sah, Wendy Hall, Nicholas Gibbins, David De...
AISC
2006
Springer
15 years 11 months ago
Hierarchical Representations with Signatures for Large Expression Management
Abstract. We describe a method for managing large expressions in symbolic computations which combines a hierarchical representation with signature calculations. As a case study, th...
Wenqin Zhou, Jacques Carette, David J. Jeffrey, Mi...
ICPR
2010
IEEE
15 years 10 months ago
Parallel Scales for More Accurate Displacement Estimation in Phase-Based Image Registration
Phase-based methods are commonly applied in image registration. When working with phase-difference methods only a single scale is employed, although the algorithms are normally ite...
Daniel Forsberg, Mats Andersson, Hans Knutsson