1124 search results - page 176 / 225 » Constructing Common Information Spaces |
164
click to vote
SIBGRAPI
2009
IEEE
15 years 10 months ago
2009
IEEE
We have designed and implemented a multi-linear discriminant method of constructing and quantifying statistically significant changes on human identity photographs. The method is...
132
click to vote
SASO
2007
IEEE
15 years 10 months ago
2007
IEEE
Internet Connectivity Establishment (ICE) is becoming increasingly important for P2P systems on the open Internet, as it enables NAT-bound peers to provide accessible services. A ...
102
click to vote
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we investigate the quality of 3D-2D pose estimates using hand labeled line and point correspondences. We select point correspondences from junctions in the image, all...
128
click to vote
ISPASS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a scheme to compress branch trace information for use in snapshot-based microarchitecture simulation. The compressed trace can be used to warm any arbitrary branch pred...
137
click to vote
FASE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...