2477 search results - page 287 / 496 » Object list controlled process data system |
135
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
120
Voted
ESAW
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We consider adaptation in open systems, i.e. systems without global objects or common objectives. There are three related issues: how to make the degrees of freedom (DoFs...
151
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A...
147
click to vote
DGO
2007
15 years 5 months ago
2007
Government agencies globally are facing problems such as illegal immigration, terrorism, and disease diagnosis and control. Solutions to these problems rely heavily on collaborati...
161
click to vote
CVIU
2010
15 years 2 months ago
2010
A multiple-camera system for 3D pose reconstruction is presented. First, body parts of the user are detected. Each camera has a single-instruction multiple-data (SIMD) processor u...