Sciweavers

458 search results - page 67 / 92
» Perfect Skolem sets
Sort
View
AAAI
1994
15 years 1 months ago
Recovering Software Specifications with Inductive Logic Programming
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
William W. Cohen
ICASSP
2010
IEEE
14 years 12 months ago
Energy efficient lossy transmission over sensor networks with feedback
The energy-distortion function (E(D)) for a network is defined as the minimum total energy required to achieve a target distortion D at the receiver without putting any restricti...
Aman Jain, Deniz Gündüz, Sanjeev R. Kulk...
GLOBECOM
2008
IEEE
14 years 12 months ago
Highly Memory-Efficient LogLog Hash for Deep Packet Inspection
As the network line rates reach 40 Gbps today and 100 Gbps in the near future, performing deep packet inspection (DPI) in the Network Intrusion Detection and Prevention Systems (NI...
Masanori Bando, N. Sertac Artan, H. Jonathan Chao
ALMOB
2007
73views more  ALMOB 2007»
14 years 12 months ago
GOGOT: a method for the identification of differentially expressed fragments from cDNA-AFLP data
Background: One-dimensional (1-D) electrophoretic data obtained using the cDNA-AFLP method have attracted great interest for the identification of differentially expressed transcr...
Koji Kadota, Ryoko Araki, Yuji Nakai, Masumi Abe
APAL
2007
79views more  APAL 2007»
14 years 12 months ago
A completeness result for a realisability semantics for an intersection type system
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
Fairouz Kamareddine, Karim Nour