1804 search results - page 112 / 361 » On set systems with a threshold property |
157
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
185
click to vote
ENTCS
2002
15 years 6 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
195
click to vote
FOCM
2011
15 years 1 months ago
2011
We develop a new mathematical model for describing a dynamical system at limited resolution (or finite scale), and we give precise meaning to the notion of a dynamical system havi...
191
click to vote
IPMU
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper, a Fuzzy Dominant Texture Descriptor is proposed for semantically describing an image. This fuzzy descriptor is defined over a set of fuzzy sets modelling ...
230
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: The development of text mining systems that annotate biological entities with their properties using scientific literature is an important recent research topic. These...