Sciweavers

6941 search results - page 926 / 1389
» Testing as a Certification Approach
Sort
View
FM
2008
Springer
127views Formal Methods» more  FM 2008»
15 years 8 months ago
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
Olivier Ponsini, Wendelin Serwe
IESA
2007
15 years 8 months ago
Application Development with Virtual Teams: Models and Metrics
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
D. Radoiu
BCS
2008
15 years 8 months ago
Improved SIFT-Features Matching for Object Recognition
: The SIFT algorithm (Scale Invariant Feature Transform) proposed by Lowe [1] is an approach for extracting distinctive invariant features from images. It has been successfully app...
Faraj Alhwarin, Chao Wang, Danijela Ristic-Durrant...
BIOSTEC
2008
162views Healthcare» more  BIOSTEC 2008»
15 years 8 months ago
On Extraction of Nutritional Patterns (NPS) Using Fuzzy Association Rule Mining
This paper proposes a framework for mining market basket data to generate Nutritional Patterns (NPs) and a method for analysing generated nutritional patterns using F...
M. Sulaiman Khan, Maybin K. Muyeba, Frans Coenen
ECIR
2010
Springer
15 years 8 months ago
A Case for Automatic System Evaluation
Ranking a set retrieval systems according to their retrieval effectiveness without relying on relevance judgments was first explored by Soboroff et al. [13]. Over the years, a numb...
Claudia Hauff, Djoerd Hiemstra, Leif Azzopardi, Fr...