11063 search results - page 227 / 2213 » On the existence of universal models |
137
click to vote
WEBNET
2000
15 years 8 months ago
2000
: The author reports on a universal searchable index of Web resources for design engineering. The project is part of the Web site for the Canadian Design Engineering Network (CDEN)...
183
click to vote
SWWS
2007
15 years 7 months ago
2007
−The ability for software agents to discover, query, and task ubiquitous sensors requires machineinterpretable service descriptions, such as those proposed by the Semantic Web ef...
166
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
SciCloud is a project studying the scope of establishing private clouds at universities. With these clouds, researchers can efficiently use the already existing resources in solvin...
156
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
168
click to vote
DCC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper describes design of a low-complexity algorithm for adaptive encoding/decoding of binary sequences produced by memoryless sources. The algorithm implements universal blo...