Sciweavers

21430 search results - page 460 / 4286
» Abstract Effective Models
Sort
View
APLAS
2008
ACM
15 years 8 months ago
Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito O...
ASPDAC
2005
ACM
78views Hardware» more  ASPDAC 2005»
15 years 8 months ago
Timing driven track routing considering coupling capacitance
Abstract— As VLSI technology enters the ultra-deep submicron era, wire coupling capacitance starts to dominate self capacitance and can no longer be neglected in timing driven ro...
Di Wu, Jiang Hu, Min Zhao, Rabi N. Mahapatra
COCOON
2008
Springer
15 years 8 months ago
Quasi-bicliques: Complexity and Binding Pairs
Abstract. Protein-protein interactions (PPIs) are one of the most important mechanisms in cellular processes. To model protein interaction sites, recent studies have suggested to f...
Xiaowen Liu, Jinyan Li, Lusheng Wang
ICONIP
2008
15 years 8 months ago
On Weight-Noise-Injection Training
Abstract. While injecting weight noise during training has been proposed for more than a decade to improve the convergence, generalization and fault tolerance of a neural network, ...
Kevin Ho, Chi-Sing Leung, John Sum
IRCDL
2008
15 years 8 months ago
Video Event Annotation using Ontologies with Temporal Reasoning
Annotation and retrieval tools for multimedia digital libraries have to cope with the complexity of multimedia content. In particular, when dealing with video content, annotation ...
Marco Bertini, Alberto Del Bimbo, Giuseppe Serra