Sciweavers

21319 search results - page 3704 / 4264
» An Approach for Method Reengineering
Sort
View
IWCMC
2010
ACM
15 years 9 months ago
A flow trace generator using graph-based traffic classification techniques
We propose a novel methodology to generate realistic network flow traces to enable systematic evaluation of network monitoring systems in various traffic conditions. Our technique...
Peter Siska, Marc Ph. Stoecklin, Andreas Kind, Tor...
ECML
2005
Springer
15 years 9 months ago
Clustering and Metaclustering with Nonnegative Matrix Decompositions
Although very widely used in unsupervised data mining, most clustering methods are affected by the instability of the resulting clusters w.r.t. the initialization of the algorithm ...
Liviu Badea
ACSD
2007
IEEE
93views Hardware» more  ACSD 2007»
15 years 9 months ago
SAT-based Unbounded Model Checking of Timed Automata
We present an improvement of the SAT-based Unbounded Model Checking (UMC) algorithm. UMC, a symbolic approach introduced in [7], uses propositional formulas in conjunctive normal ...
Wojciech Penczek, Maciej Szreter
204
Voted
ASAP
2007
IEEE
123views Hardware» more  ASAP 2007»
15 years 9 months ago
Estimating Area Costs of Custom Instructions for FPGA-based Reconfigurable Processors
FPGA (Field Programmable Gate Array) based reconfigurable processor has been shown to meet the increasingly challenging performance targets and shorter time-to-market pressures. I...
Siew Kei Lam, Thambipillai Srikanthan
CLEF
2008
Springer
15 years 8 months ago
Cross Language Experiments at Persian@CLEF 2008
In this study we will discuss our cross language text retrieval (CLIR) experiments of Persian ad hoc track at CLEF 2008. Two teams from University of Tehran were involved in cross...
Abolfazl AleAhmad, Ehsan Kamalloo, Arash Zareh, Ma...
« Prev « First page 3704 / 4264 Last » Next »