7529 search results - page 112 / 1506 » The Modula-3 Type System |
167
click to vote
FMOODS
2007
15 years 5 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
133
click to vote
FORTE
2007
15 years 5 months ago
2007
We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., se...
128
click to vote
ASIAN
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
118
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a hierarchical lane detection system with the ability to deal with both structured and unstructured roads. The proposed system classifies the environment first...
149
click to vote
ITS
2004
Springer
15 years 9 months ago
2004
Springer
While human tutors typically interact with students using spoken dialogue, most computer dialogue tutors are text-based. We have conducted two experiments comparing typed and spoke...