Sciweavers

17983 search results - page 101 / 3597
» Set Types and Applications
Sort
View
126
Voted
DIMVA
2006
15 years 4 months ago
Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Kar...
113
Voted
PAKDD
2009
ACM
135views Data Mining» more  PAKDD 2009»
15 years 9 months ago
On Mining Rating Dependencies in Online Collaborative Rating Networks
The trend of social information processing sees e-commerce and social web applications increasingly relying on user-generated content, such as rating, to determine the quality of o...
Hady Wirawan Lauw, Ee-Peng Lim, Ke Wang
110
Voted
ICFP
2007
ACM
16 years 2 months ago
Inductive reasoning about effectful data types
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
Andrzej Filinski, Kristian Støvring
FASE
2004
Springer
15 years 8 months ago
Enhancing Remote Method Invocation through Type-Based Static Analysis
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco
IJCSS
2007
122views more  IJCSS 2007»
15 years 2 months ago
Artificial Neural Network Type Learning with Single Multiplicative Spiking Neuron
In this paper, learning algorithm for a single multiplicative spiking neuron (MSN) is proposed and tested for various applications where a multilayer perceptron (MLP) neural netwo...
Deepak Mishra, Abhishek Yadav, Sudipta Ray, Prem K...