Sciweavers

4763 search results - page 132 / 953
» On the Execution of Deep Models
Sort
View
NSDI
2004
15 years 1 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
MICCAI
2002
Springer
16 years 21 days ago
Validation of Tissue Modelization and Classification Techniques in T1-Weighted MR Brain Images
Abstract. We propose a deep study on tissue modelization and classification Techniques on T1-weighted MR images. Three approaches have been taken into account to perform this valid...
Meritxell Bach Cuadra, Bram Platel, Eduardo Solana...
DATE
2008
IEEE
125views Hardware» more  DATE 2008»
15 years 6 months ago
Current source based standard cell model for accurate signal integrity and timing analysis
— The inductance and coupling effects in interconnects and non-linear receiver loads has resulted in complex input signals and output loads for gates in the modern deep submicron...
Amit Goel, Sarma B. K. Vrudhula
TNN
2010
174views Management» more  TNN 2010»
14 years 6 months ago
Equivalences between neural-autoregressive time series models and fuzzy systems
Soft computing (SC) emerged as an integrating framework for a number of techniques that could complement one another quite well (artificial neural networks, fuzzy systems, evolutio...
José Luis Aznarte, José Manuel Ben&i...
IEAAIE
2010
Springer
14 years 9 months ago
Knowledge-Based Framework for Workflow Modelling: Application to the Furniture Industry
Abstract. In this paper, we describe a framework for integrating workflow modelling techniques with a knowledge management approach that enables us to represent the problem-solving...
Juan Carlos Vidal, Manuel Lama, Alberto Bugar&iacu...