17983 search results - page 33 / 3597 » Set Types and Applications |
GREC
2009
Springer
13 years 5 months ago
2009
Springer
In this paper, we present a novel unifying concept of pairwise spatial relations. We develop two way directional relations with respect to a unique point set, based on topology of ...
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
NIPS
2003
13 years 9 months ago
2003
In applying Hidden Markov Models to the analysis of massive data streams, it is often necessary to use an artificially reduced set of states; this is due in large part to the fac...
HAID
2010
Springer
13 years 6 months ago
2010
Springer
One factor which can be expected to influence performance in applications where the user points a device in some direction to obtain information is the angle interval in which the ...
PLDI
2010
ACM
14 years 5 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...