2911 search results - page 95 / 583 » A Theory of Expressiveness in Mechanisms |
178
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Over the past two decades more than fifty thousand unique clinical and biological samples have been assayed using the Affymetrix HG-U133 and HG-U95 GeneChip microarray...
187
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
148
click to vote
AICT
2006
IEEE
16 years 11 days ago
2006
IEEE
The release of WSRF showed that an OGSA infrastructure of stateful WS-Resources could be built on top of plain WSDL, while retaining Web services as stateless entities. This Grid ...
152
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Digital Rights Management frameworks (DRM) aim at protecting and controlling information contents widely distributed on client devices. Using a license, the content provi...
185
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
In this paper we consider physical systems and the concept of their states in the context of the theory of fuzzy sets and systems. In section 1 we give a brief sketch on the fundam...