Sciweavers

1492 search results - page 252 / 299
» Testing Properties of Constraint-Graphs
Sort
View
CVPR
2011
IEEE
14 years 11 months ago
A Multichannel Edge-Weighted Centroidal Voronoi Tessellation Algorithm for 3D Superalloy Image Segmentation
In material science and engineering, the grain structure inside a super-alloy sample determines its mechanical and physical properties. In this paper, we develop a new Multichannel...
Y. Cao, L. Ju, Q. Zou, C. Qu, S. Wang
CVPR
2011
IEEE
14 years 10 months ago
Modeling Human Activities as Speech
Human activity recognition and speech recognition appear to be two loosely related research areas. However, on a careful thought, there are several analogies between activity and ...
Chia-Chih Chen, Jake Aggarwal
ACCV
2010
Springer
14 years 10 months ago
Change Detection for Temporal Texture in the Fourier Domain
Abstract. Research on temporal textures has concerned mainly modeling, synthesis and detection, but not finding changes between different temporal textures. Shot change detection, ...
Alexia Briassouli, Ioannis Kompatsiaris
159
Voted
ESOP
2012
Springer
13 years 11 months ago
Concurrent Library Correctness on the TSO Memory Model
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
Sebastian Burckhardt, Alexey Gotsman, Madanlal Mus...
EUROPAR
2004
Springer
15 years 8 months ago
Large-Scale Deployment in P2P Experiments Using the JXTA Distributed Framework
The interesting properties of P2P systems (high availability despite peer volatility, support for heterogeneous architectures, high scalability, etc.) make them attractive for dist...
Gabriel Antoniu, Luc Bougé, Mathieu Jan, S&...