Sciweavers

6862 search results - page 1123 / 1373
» Modeling Parallel Applications Performance on Heterogeneous ...
Sort
View
BMCBI
2007
207views more  BMCBI 2007»
15 years 3 months ago
Analyzing in situ gene expression in the mouse brain with image registration, feature extraction and block clustering
Background: Many important high throughput projects use in situ hybridization and may require the analysis of images of spatial cross sections of organisms taken with cellular lev...
Manjunatha Jagalur, Chris Pal, Erik G. Learned-Mil...
115
Voted
CGO
2007
IEEE
15 years 10 months ago
Ubiquitous Memory Introspection
Modern memory systems play a critical role in the performance of applications, but a detailed understanding of the application behavior in the memory system is not trivial to atta...
Qin Zhao, Rodric M. Rabbah, Saman P. Amarasinghe, ...
ESORICS
2002
Springer
16 years 3 months ago
Formal Security Analysis with Interacting State Machines
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
David von Oheimb, Volkmar Lotz
3DPVT
2006
IEEE
160views Visualization» more  3DPVT 2006»
15 years 10 months ago
Geometry Refinement of 3D Surfaces Using Kriging
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...
Brad Grinstead, Andreas Koschan, Mongi A. Abidi
GIS
2006
ACM
16 years 5 months ago
Representation of periodic moving objects in databases
In the real world, lots of objects with changing position can be found. Some of them repeat the same movement several times, called periodic movements. Examples include airplanes,...
Ralf Hartmut Güting, Thomas Behr, Victor Teix...
« Prev « First page 1123 / 1373 Last » Next »