376 search results - page 49 / 76 » Developing Theories of Types and Computability via Realizabi... |
DAC
2006
ACM
14 years 1 months ago
2006
ACM
Silicon design implementation has become increasingly complex with the deep submicron technologies such as 90nm and below. It is common to see multiple processor cores, several ty...
ISMB
2000
13 years 9 months ago
2000
This paper presents a framework called Parallel Experiment Planning (PEP) that is based on an abstraction of how experiments are performed in the domain of macromolecular crystall...
MOBICOM
2010
ACM
13 years 7 months ago
2010
ACM
Cellular radios consume more power and suffer reduced data rate when the signal is weak. According to our measurements, the communication energy per bit can be as much as 6x highe...
ICCV
2001
IEEE
14 years 9 months ago
2001
IEEE
A theory of stereo image formation is presented that enables a complete classification of all possible stereo views, including non-perspective varieties. Towards this end, the not...
LACL
2001
Springer
14 years 24 min ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...