1003 search results - page 33 / 201 » Type Inference with Inequalities |
113
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
149
Voted
AAAI
2007
15 years 5 months ago
2007
Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on complex logical representation...
134
Voted
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Many sensor network applications exploit the mobility of sensor nodes and the location-awareness plays an important role in these applications. However, it is too expensive to ...
132
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
141
Voted
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
We propose a method for the classification of matrices. We use a linear classifier with a novel regularization scheme based on the spectral 1-norm of its coefficient matrix. The s...