Sciweavers

151 search results - page 25 / 31
» A Neural Network Model for Trace Conditioning
Sort
View
TMA
2010
Springer
212views Management» more  TMA 2010»
15 years 6 months ago
EmPath: Tool to Emulate Packet Transfer Characteristics in IP Network
The paper describes the EmPath tool that was designed to emulate packet transfer characteristics as delays and losses in IP network. The main innovation of this tool is its ability...
Jaroslaw Sliwinski, Andrzej Beben, Piotr Krawiec
84
Voted
POLICY
2005
Springer
15 years 5 months ago
Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks
Policy refinement is meant to derive lower-level policies from higher-level ones so that these more specific policies are better suited for use in different execution environments...
Javier Rubio-Loyola, Joan Serrat, Marinos Charalam...
89
Voted
RV
2007
Springer
130views Hardware» more  RV 2007»
15 years 5 months ago
Statistical Runtime Checking of Probabilistic Properties
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regeh...
74
Voted
IWANN
2007
Springer
15 years 5 months ago
Towards the Integration of a Bioprofile in Ocular Melanoma
Approximately 50% of all patients with intraocular melanoma die of metastatic disease, despite successful treatment of the primary tumour. The main factors associated with mortalit...
Azzam F. Taktak, Antonio Eleuteri, Christian Setzk...
82
Voted
ICANN
2009
Springer
15 years 4 months ago
Empirical Study of the Universum SVM Learning for High-Dimensional Data
Abstract. Many applications of machine learning involve sparse highdimensional data, where the number of input features is (much) larger than the number of data samples, d n. Predi...
Vladimir Cherkassky, Wuyang Dai