1781 search results - page 179 / 357 » Functional Answer Set Programming |
123
click to vote
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
125
click to vote
IPMU
2010
Springer
15 years 6 days 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 ...
151
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Owing to the rapid expansion of RNA structure databases in recent years, efficient methods for structure comparison are in demand for function prediction and evolution...
110
click to vote
STACS
2009
Springer
15 years 8 months ago
2009
Springer
We introduce a new technique proving formula size lower bounds based on the linear programming bound originally introduced by Karchmer, Kushilevitz and Nisan [11] and the theory of...
115
Voted
VMCAI
2007
Springer
15 years 7 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...