1021 search results - page 134 / 205 » Concepts in Proof Planning |
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
The recent emergence of web mash-ups and open source software is driving the development of new practices in software and systems development. In this paper we explore novel pract...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
Fast hardware turnover in supercomputing centers, stimulated by rapid technological progress, results in high heterogeneity among HPC platforms, and necessitates that applications...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— Toward obtaining a compact and multiresolution representation of 2D range scans, a wavelet framework is proposed for encoding an orientation measure called Running Angle (RA). ...
ISBI
2007
IEEE
14 years 3 months ago
2007
IEEE
By acquiring high angular resolution diffusion weighted magnetic resonance images (HARDI), Q-Ball analysis can disclose the 3D organization of fibrous tissue such as the brain whi...
RTSS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper focuses on priority assignment for realtime systems using fixed priority scheduling. It introduces and defines the concept of a “robust” priority ordering: the most...