Sciweavers

214 search results - page 30 / 43
» Towards an Integration of Answer Set and Constraint Solving
Sort
View
SIGMOD
2010
ACM
260views Database» more  SIGMOD 2010»
14 years 1 months ago
Towards proximity pattern mining in large graphs
Mining graph patterns in large networks is critical to a variety of applications such as malware detection and biological module discovery. However, frequent subgraphs are often i...
Arijit Khan, Xifeng Yan, Kun-Lung Wu
DAC
1996
ACM
14 years 1 months ago
A Hardware/Software Partitioning Algorithm for Designing Pipelined ASIPs with Least Gate Counts
Abstract -- This paper introduces a new HW/SW partitioning algorithm used in automating the instruction set processor design for pipelined ASIP (Application Specific Integrated Pro...
Nguyen-Ngoc Bình, Masaharu Imai, Akichika S...
BMCBI
2007
121views more  BMCBI 2007»
13 years 9 months ago
e-Science and biological pathway semantics
Background: The development of e-Science presents a major set of opportunities and challenges for the future progress of biological and life scientific research. Major new tools a...
Joanne S. Luciano, Robert D. Stevens
SODA
2012
ACM
217views Algorithms» more  SODA 2012»
11 years 11 months ago
Polynomial integrality gaps for strong SDP relaxations of Densest k-subgraph
The Densest k-subgraph problem (i.e. find a size k subgraph with maximum number of edges), is one of the notorious problems in approximation algorithms. There is a significant g...
Aditya Bhaskara, Moses Charikar, Aravindan Vijayar...
ICWS
2008
IEEE
13 years 10 months ago
A Theory of Role Composition
We study the access control integration problem for web services. Organizations frequently use many services, each with its own access control policies, that must interoperate whi...
Jeffrey Fischer, Rupak Majumdar