Sciweavers

11462 search results - page 494 / 2293
» Developing Application-Centric Methods
Sort
View
TIFS
2010
149views more  TIFS 2010»
15 years 1 months ago
Detecting Forgery From Static-Scene Video Based on Inconsistency in Noise Level Functions
Recently developed video editing techniques have enabled us to create realistic synthesized videos. Therefore, using video data as evidence in places such as courts of law requires...
Michihiro Kobayashi, Takahiro Okabe, Yoichi Sato
ECOOP
2005
Springer
16 years 6 days ago
Open Modules: Modular Reasoning About Advice
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
Jonathan Aldrich
CSL
2010
Springer
15 years 7 months ago
Embedding Deduction Modulo into a Prover
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
Guillaume Burel
182
Voted
BMCBI
2007
126views more  BMCBI 2007»
15 years 6 months ago
High-throughput identification of interacting protein-protein binding sites
Background: With the advent of increasing sequence and structural data, a number of methods have been proposed to locate putative protein binding sites from protein surfaces. Ther...
Jo-Lan Chung, Wei Wang, Philip E. Bourne
BMCBI
2010
139views more  BMCBI 2010»
15 years 6 months ago
CMASA: an accurate algorithm for detecting local protein structural similarity and its application to enzyme catalytic site anno
Background: The rapid development of structural genomics has resulted in many "unknown function" proteins being deposited in Protein Data Bank (PDB), thus, the functiona...
Gong-Hua Li, Jing-Fei Huang