3116 search results - page 145 / 624 » Positively dependent types |
116
click to vote
NN
2007
Springer
15 years 4 months ago
2007
Springer
The temporal evolution of nearshore sandbars (alongshore ridges of sand fringing coasts in water depths less than 10 m and of paramount importance for coastal safety) is commonly ...
173
click to vote
CORR
2012
Springer
14 years 6 days ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
123
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
We present a framework that enables the use of traditional feature selection algorithms in a new context - for building a set of subsets of specified properties. During the course...
143
click to vote
ISSS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents a codesign approach which incorporates communication protocol selection as a design parameter within hardware/software partitioning. The presented approach tak...
105
click to vote
ESANN
2007
15 years 6 months ago
2007
The cost of maintaining a given level of activity in a neuronal network depends on its size and degree of connectivity. Should a neural function require large-size fully-connected ...