1781 search results - page 179 / 357 » Functional Answer Set Programming |
170
click to vote
ICFP
2002
ACM
16 years 6 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...
170
Voted
IPMU
2010
Springer
15 years 4 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 ...
198
Voted
BMCBI
2006
15 years 6 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...
149
Voted
STACS
2009
Springer
16 years 28 days 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...
161
Voted
VMCAI
2007
Springer
16 years 8 days 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...