677 search results - page 38 / 136 » Dependent Types from Counterexamples |
156
Voted
SDM
2009
SIAM
16 years 26 days ago
2009
SIAM
Large amounts of remotely sensed data calls for data mining techniques to fully utilize their rich information content. In this paper, we study new means of discovery and summariz...
139
Voted
GI
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. This text describes how persistent object system technology developed in European basic research is being used by a small German startup software company to realize innov...
128
Voted
DIAGRAMS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present a method for constructing a teleological model of a drawing of a physical device through analogical transfer of the teleological model of the same device in an...
134
Voted
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
125
Voted
IEAAIE
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, it is shown how behavioural properties can be specified for three types of violent criminals. Moreover, it is shown how empirical material in the form of informal de...