1766 search results - page 94 / 354 » Developing Applications With Objective Caml |
220
Voted
COORDINATION
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce an object-oriented referencing abstraction to express coordination between objects hosted on mobile devices interconnected by a wireless ad hoc network. On t...
157
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
143
click to vote
CCS
2003
ACM
15 years 8 months ago
2003
ACM
Although the ability to model and infer Attacker Intent, Objectives and Strategies (AIOS) may dramatically advance the literature of risk assessment, harm prediction, and predicti...
128
Voted
SCALESPACE
2001
Springer
15 years 7 months ago
2001
Springer
This paper develops and investigates a new approach for evaluating feature based object hypotheses in a direct way. The idea is to compute a feature likelihood map (FLM), which is ...
139
click to vote
VISUALIZATION
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes a set of techniques developed for the visualization of high-resolution volume data generated from industrial computed tomography for nondestructive testing (N...