178 search results - page 23 / 36 » An Application of Program Derivation Techniques to 18th-Cent... |
ISI
2008
Springer
13 years 8 months ago
2008
Springer
Identity Management plays a crucial role in many application contexts, including e-governments, e-commerce, business intelligence, investigation, and homeland security. The variet...
SIAMSC
2008
13 years 8 months ago
2008
Abstract. We present a new derivative-free algorithm, ORBIT, for unconstrained local optimization of computationally expensive functions. A trust-region framework using interpolati...
AAAI
2006
13 years 10 months ago
2006
While computers have defeated the best human players in many classic board games, progress in Go remains elusive. The large branching factor in the game makes traditional adversar...
JAR
2008
13 years 8 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
SIGCSE
2003
ACM
14 years 1 months ago
2003
ACM
Computer graphics forms an important part of a working scientist’s tools. This may be provided by resources with the scientist’s group or by capabilities of the toolkits that ...