Sciweavers

6167 search results - page 1084 / 1234
» Can Refinement be Automated
Sort
View
DEBU
2010
180views more  DEBU 2010»
13 years 10 months ago
Searching RDF Graphs with SPARQL and Keywords
The proliferation of knowledge-sharing communities like Wikipedia and the advances in automated information extraction from Web pages enable the construction of large knowledge ba...
Shady Elbassuoni, Maya Ramanath, Ralf Schenkel, Ge...
COMCOM
2006
154views more  COMCOM 2006»
13 years 10 months ago
Minimum-cost network hardening using attack graphs
In defending one's network against cyber attack, certain vulnerabilities may seem acceptable risks when considered in isolation. But an intruder can often infiltrate a seemin...
Lingyu Wang, Steven Noel, Sushil Jajodia
BMCBI
2005
94views more  BMCBI 2005»
13 years 10 months ago
Visualization-based discovery and analysis of genomic aberrations in microarray data
Background: Chromosomal copy number changes (aneuploidies) play a key role in cancer progression and molecular evolution. These copy number changes can be studied using microarray...
Chad L. Myers, Xing Chen, Olga G. Troyanskaya
TCAD
1998
86views more  TCAD 1998»
13 years 9 months ago
Fast heuristic and exact algorithms for two-level hazard-free logic minimization
None of the available minimizers for 2-level hazard-free logic minimization can synthesize very large circuits. This limitation has forced researchers to resort to manual and auto...
Michael Theobald, Steven M. Nowick
TROB
2002
169views more  TROB 2002»
13 years 9 months ago
Constructing reconfigurable software for machine control systems
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
Shige Wang, Kang G. Shin
« Prev « First page 1084 / 1234 Last » Next »