Sciweavers

16513 search results - page 374 / 3303
» Numerical Analysis Methods
Sort
View
XPU
2005
Springer
16 years 5 days ago
Source Code Repositories and Agile Methods
Source repositories are a promising database of information about software projects. This paper proposes a tool to extract and summarize information from CVS logs in order to ident...
Alberto Sillitti, Giancarlo Succi
ATAL
2010
Springer
15 years 7 months ago
Robust Bayesian methods for Stackelberg security games
Recent work has applied game-theoretic models to real-world security problems at the Los Angeles International Airport (LAX) and Federal Air Marshals Service (FAMS). The analysis o...
Christopher Kiekintveld, Milind Tambe, Janusz Mare...
JCB
2007
94views more  JCB 2007»
15 years 6 months ago
A Quantile Method for Sizing Optical Maps
Optical mapping is an integrated system for the analysis of single DNA molecules. It constructs restriction maps (noted as “optical map”) from individual DNA molecules present...
Haifeng Li, Anton Valouev, David C. Schwartz, Mich...
JCIT
2010
112views more  JCIT 2010»
15 years 1 months ago
A Preprocessing Method for NaXi Pictograph Character Recognition
Preprocessing, a major component of Character Recognition System, has direct effect on the recognition system by its performance. A preprocessing method for NaXi Pictograph Charac...
Hai Guo, Jing-ying Zhao, Ming-jun Da
CC
2002
Springer
107views System Software» more  CC 2002»
15 years 6 months ago
Modular Static Program Analysis
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
Patrick Cousot, Radhia Cousot