317 search results - page 24 / 64 » Real Recursive Functions and Real Extensions of Recursive Fu... |
141
click to vote
POPL
2010
ACM
16 years 6 days ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
117
Voted
SIGMOD
2010
ACM
15 years 7 months ago
2010
ACM
This demonstration presents FlexPref, a framework implemented inside the DBMS query processor that enables efficient and extensible preference query processing. FlexPref provides ...
137
Voted
TFS
2008
15 years 2 months ago
2008
Abstract-- We introduce a new way of looking at fuzzy intervals. Instead of considering them as fuzzy sets, we see them as crisp sets of entities we call gradual (real) numbers. Th...
233
click to vote
ML
2011
ACM
14 years 9 months ago
2011
ACM
Abstract. Type Extension Trees (TET) have been recently introduced as an expressive representation language allowing to encode complex combinatorial features of relational entities...
168
click to vote
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...