Sciweavers

5643 search results - page 200 / 1129
» Retrieval Evaluation in Practice
Sort
View
MODELS
2009
Springer
16 years 1 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
NIPS
2007
15 years 8 months ago
Transfer Learning using Kolmogorov Complexity: Basic Theory and Empirical Evaluations
In transfer learning we aim to solve new problems using fewer examples using information gained from solving related problems. Transfer learning has been successful in practice, a...
M. M. Mahmud, Sylvian R. Ray
JCM
2007
102views more  JCM 2007»
15 years 6 months ago
A Setup for the Evaluation of MUSIC and LMS Algorithms for a Smart Antenna System
— This paper presents practical design of a smart antenna system based on direction-of-arrival estimation and adaptive beamforming. Direction-of-arrival (DOA) estimation is based...
Raed M. Shubair, Mahmoud Al-Qutayri, Jassim M. Sam...
JKM
2007
78views more  JKM 2007»
15 years 6 months ago
A framework for evaluating knowledge-mapping tools
The paper first deals with the much discussed issue of defining the term informatics. Then it explores how the term information science is understood by the students of the Facult...
Samuel Driessen, Willem-Olaf Huijsen, Marjan Groot...
PRDC
2007
IEEE
16 years 27 days ago
Intrusion Tolerance in Wireless Environments: An Experimental Evaluation
This paper presents a study on the performance of intrusion-tolerant protocols in wireless LANs. The protocols are evaluated in several different environmental settings, and also ...
Henrique Moniz, Nuno Ferreira Neves, Miguel Correi...