Sciweavers

605 search results - page 90 / 121
» Dynamic inference of abstract types
Sort
View
EMO
2001
Springer
100views Optimization» more  EMO 2001»
14 years 2 months ago
Fuzzy Evolutionary Hybrid Metaheuristic for Network Topology Design
Abstract. Topology design of enterprise networks is a hard combinatorial optimization problem. It has numerous constraints, several objectives, and a very noisy solution space. Bes...
Habib Youssef, Sadiq M. Sait, Salman A. Khan
IWANN
2001
Springer
14 years 2 months ago
A Realistic Computational Model of the Local Circuitry of the Cuneate Nucleus
Abstract. Intracellular recordings obtained under cutaneous and lemniscal stimulation show that the afferent fibers can establish excitatory and inhibitory synaptic connections w...
Eduardo Sánchez Vila, Senén Barro, J...
ECSQARU
1997
Springer
14 years 1 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
ECOOP
1992
Springer
14 years 1 months ago
An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
Mehmet Aksit, Lodewijk Bergmans, Sinan Vural
COST
2009
Springer
205views Multimedia» more  COST 2009»
14 years 1 months ago
Ergodic HMM-UBM System for On-Line Signature Verification
Abstract. We propose a novel approach for on-line signature verification based on building HMM user models by adapting an ergodic Universal Background Model (UBM). State initializa...
Enrique Argones-Rúa, David Pérez-Pi&...