3706 search results - page 603 / 742 » The Transformational Approach to Program Development |
DSL
2009
13 years 5 months ago
2009
Abstract. Experimental game theory is an increasingly important research tool in many fields, providing insight into strategic behavior through simulation and experimentation on ga...
TNN
2010
13 years 2 months ago
2010
We propose a multiple incremental decremental algorithm of Support Vector Machine (SVM). Conventional single incremental decremental SVM can update the trained model efficiently w...
PROCEDIA
2011
12 years 10 months ago
2011
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
CCS
2011
ACM
12 years 8 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
ICONFERENCE
2012
12 years 3 months ago
2012
This paper presents findings from two research projects that entail needs assessments, benchmarking, and onsite diagnostics of anchor institutions in support of multi-million doll...