Sciweavers

1321 search results - page 212 / 265
» Quadratic forms on graphs
Sort
View
ACSAC
2008
IEEE
14 years 2 months ago
STILL: Exploit Code Detection via Static Taint and Initialization Analyses
We propose STILL, a generic defense based on Static Taint and InitiaLization anaLyses, to detect exploit code embedded in data streams/requests targeting at various Internet servi...
Xinran Wang, Yoon-chan Jhi, Sencun Zhu, Peng Liu
ICDM
2008
IEEE
136views Data Mining» more  ICDM 2008»
14 years 2 months ago
Document-Word Co-regularization for Semi-supervised Sentiment Analysis
The goal of sentiment prediction is to automatically identify whether a given piece of text expresses positive or negative opinion towards a topic of interest. One can pose sentim...
Vikas Sindhwani, Prem Melville
ICPR
2008
IEEE
14 years 2 months ago
Gene function prediction using protein domain probability and hierarchical Gene Ontology information
The Gene Ontology (GO) is a controlled vocabulary of terms to describe protein functions. It also includes a hierarchical description of the relationships among the terms in the f...
Jaehee Jung, Michael R. Thon
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
14 years 2 months ago
QuteSAT: a robust circuit-based SAT solver for complex circuit structure
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
Chi-An Wu, Ting-Hao Lin, Chih-Chun Lee, Chung-Yang...
IAT
2007
IEEE
14 years 2 months ago
Information Sharing in an Agent Organized Network
Coalition formation in social networks consisting of a graph of interdependent agents allows many choices of which task to select and with whom to partner in the social network. N...
Levi Barton, Vicki H. Allan