6978 search results - page 1358 / 1396 » On Proofs in System P |
183
click to vote
OTM
2009
Springer
16 years 22 days ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
206
click to vote
FCCM
2008
IEEE
16 years 20 days ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...
150
click to vote
HOTI
2008
IEEE
16 years 20 days ago
2008
IEEE
Buses have historically provided a flexible communications structure in computer systems. However, signal integrity constraints of high-speed electronics have made multi-drop elec...
194
click to vote
NOCS
2008
IEEE
16 years 17 days ago
2008
IEEE
In this paper we examine a latency insensitive network composed of very fast and simple circuits that connects SoC cores that are also latency insensitive, de-synchronized, or asy...
178
click to vote
SIBGRAPI
2008
IEEE
16 years 17 days ago
2008
IEEE
This paper presents a 3D face photography system based on a small set of training facial range images. The training set is composed by 2D texture and 3D range images (i.e. geometr...