317 search results - page 8 / 64 » Typing References by Effect Inference |
IFL
2003
Springer
15 years 2 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
77
Voted
BIRD
2007
Springer
15 years 1 months ago
2007
Springer
The paper presents MRNet, an original method for inferring genetic networks from microarray data. This method is based on maximum relevance/minimum redundancy (MRMR), an effective ...
IDEAL
2010
Springer
14 years 8 months ago
2010
Springer
Intrusion detection in computer networks faces the problem of a large number of both false alarms and unrecognized attacks. To improve the precision of detection, various machine l...
AROBOTS
2005
14 years 9 months ago
2005
The Dual Smart Drive is a specially designed nonlinear actuator intended for use in climbing and walking legged robots. It features a continuously changing transmission ratio and d...
160
click to vote
ICDE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract-- Privacy preservation in data mining demands protecting both input and output privacy. The former refers to sanitizing the raw data itself before performing mining. The l...