Sciweavers

727 search results - page 123 / 146
» Improving Twitter Retrieval by Exploiting Structural Informa...
Sort
View
DAC
2001
ACM
14 years 9 months ago
Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...
Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav A...
WOMPAT
2004
Springer
14 years 2 months ago
Dragon: A Static and Dynamic Tool for OpenMP
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
Oscar Hernandez, Chunhua Liao, Barbara M. Chapman
GCB
1998
Springer
78views Biometrics» more  GCB 1998»
14 years 29 days ago
Computational approaches to identify Leucine Zippers
The leucine zipper is a dimerization domain occurring mostly in regulatory and thus in many oncogenic proteins. The leucine repeat in the sequence has been traditionally used for ...
Erich Bornberg-Bauer
ITNG
2010
IEEE
13 years 7 months ago
Record Setting Software Implementation of DES Using CUDA
—The increase in computational power of off-the-shelf hardware offers more and more advantageous tradeoffs among efficiency, cost and availability, thus enhancing the feasibil...
Giovanni Agosta, Alessandro Barenghi, Fabrizio De ...
SEMWEB
2010
Springer
13 years 6 months ago
One Size Does Not Fit All: Customizing Ontology Alignment Using User Feedback
Abstract. A key problem in ontology alignment is that different ontological features (e.g., lexical, structural or semantic) vary widely in their importance for different ontology ...
Songyun Duan, Achille Fokoue, Kavitha Srinivas