4502 search results - page 755 / 901 » Regular Model Checking |
135
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
The Mouse Genome Informatics (MGI) Database at The Jackson Laboratory provides a comprehensive public resource about the laboratory mouse. MGI curated data types include gene repr...
164
click to vote
IPPS
2005
IEEE
15 years 10 months ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...
152
Voted
SMI
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose an algorithm for contouring k-manifolds (k = 1, 2) embedded in an arbitrary n-dimensional space. We assume (n−k) geometric constraints are represented as polynomial e...
159
click to vote
IWDW
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we propose a robust watermarking method for 3-D triangle surface meshes. Most previous methods based on the wavelet analysis can process only semi-regular meshes. Ou...
142
Voted
LOCA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper investigates the efficiency of in-door next location prediction by comparing several prediction methods. The scenario concerns people in an office building vis...