Sciweavers

3116 search results - page 198 / 624
» Positively dependent types
Sort
View
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 5 months ago
Existence and Global Logarithmic Stability of Impulsive Neural Networks with Time Delay
The stability and convergence of the neural networks are the fundamental characteristics in the Hopfield type networks. Since time delay is ubiquitous in most physical and biologi...
A. K. Ojha, Dushmanta Mallick, C. Mallick
146
Voted
CAD
2005
Springer
15 years 4 months ago
Configurable product views based on geometry user requirements
This paper describes an approach at Volvo Truck Corporation where geometry users' requirements are utilised to define configurable product views. The paper is derived from a ...
Freddy Fuxin
IMCSIT
2010
15 years 2 months ago
Using Self Organizing Map to Cluster Arabic Crime Documents
This paper presents a system that combines two text mining techniques; information extraction and clustering. A rulebased approach is used to perform the information extraction tas...
Meshrif Alruily, Aladdin Ayesh, Abdulsamad Al-Marg...
TON
2010
93views more  TON 2010»
14 years 11 months ago
Equilibrium of Heterogeneous Congestion Control: Optimality and Stability
When heterogeneous congestion control protocols that react to different pricing signals share the same network, the current theory based on utility maximization fails to predict th...
Ao Tang, X. Wei, Stephen H. Low, Mung Chiang
CRYPTO
2009
Springer
105views Cryptology» more  CRYPTO 2009»
15 years 11 months ago
Privacy-Enhancing Auctions Using Rational Cryptography
Abstract. We consider enhancing with privacy concerns a large class of auctions, which include sealed-bid single-item auctions but also general multi-item multi-winner auctions, ou...
Peter Bro Miltersen, Jesper Buus Nielsen, Nikos Tr...