Sciweavers

727 search results - page 123 / 146
» Improving Twitter Retrieval by Exploiting Structural Informa...
Sort
View
79
Voted
DAC
2001
ACM
15 years 10 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
15 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»
15 years 1 months 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
122
Voted
ITNG
2010
IEEE
14 years 8 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
14 years 7 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