55 search results - page 4 / 11 » birthday 2006 |
BIRTHDAY
2006
Springer
14 years 9 days ago
2006
Springer
The rapid deployment of low-cost ubiquitous sensing devices
BIRTHDAY
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. We relate Kamin and L
BIRTHDAY
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...
BIRTHDAY
2006
Springer
14 years 9 days ago
2006
Springer
Following M. Krachounov ([5]), max and min operations with fuzzy sets are considered instead of Lukasiewicz ones ([6], [7], [8], [9]). Her the domain F of a probability m : F [0, ...
BIRTHDAY
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. We propose to use Grothendieck institutions based on 2categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (so...