2742 search results - page 456 / 549 » Deriving Category Theory from Type Theory |
IMDS
2007
13 years 8 months ago
2007
Purpose – This research seeks to investigate the relationship between knowledge diversity (KD) in software teams and project performance. Previous research has shown that member...
ICONFERENCE
2011
13 years 3 months ago
2011
The aim of this study is to understand the role of bloggers in driving viral information. More specifically, we develop a new methodology that creates a map of the „life cycleâ€...
JACM
2010
13 years 3 months ago
2010
A schema mapping is a specification that describes how data structured under one schema (the source schema) is to be transformed into data structured under a different schema (the...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
The way a rational agent changes her belief in certain proposition/hypotheses in the light of new evidence lies in the heart of Bayesian inference. The basic natural assumption, a...
DAC
2006
ACM
14 years 10 months ago
2006
ACM
Subthreshold circuit designs have been demonstrated to be a successful alternative when ultra-low power consumption is paramount. However, the characteristics of MOS transistors i...