8699 search results - page 380 / 1740 » Elements of the Theory of Computation |
165
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
156
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
Collaborative design often meets together experts of different domains. Such groups need to share a context but often limited this one is often limited to few elements as common l...
161
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
One of the main problems in the radiosity method is how to discretise a scene into mesh elements that allow us to accurately represent illumination. In this paper we present a new ...
150
click to vote
GRID
2005
Springer
16 years 11 days ago
2005
Springer
—The CombeChem project has designed and deployed an e-Science infrastructure using a combination of Grid and Semantic Web technologies. In this paper we describe the datagrid ele...
154
click to vote
ICTAC
2005
Springer
16 years 10 days ago
2005
Springer
We present a new derivation of efficient algorithms for a class of optimization problems called maximum marking problems. We extend the class of weight functions used in the speciï...