1636 search results - page 267 / 328 » Type-Theoretic Functional Semantics |
107
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...
100
Voted
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...
117
Voted
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper presents “Self-Chord”, a bio-inspired P2P algorithm that can be profitably adopted to build the information service of distributed systems, in particular Computati...
129
click to vote
ICSM
2009
IEEE
15 years 10 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
116
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— In this paper we describe the problem of Visual Place Categorization (VPC) for mobile robotics, which involves predicting the semantic category of a place from image me...