5205 search results - page 90 / 1041 » Tilings and model theory |
FOSSACS
2011
Springer
13 years 12 days ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
APAL
2007
13 years 9 months ago
2007
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
Database performance can be greatly affected by environmental and internal dynamics such as workloads and system configurations. Existing strategies to maintain performance under ...
ALT
2006
Springer
14 years 5 months ago
2006
Springer
Abstract. We propose a thresholded ensemble model for ordinal regression problems. The model consists of a weighted ensemble of confidence functions and an ordered vector of thres...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...