1413 search results - page 25 / 283 » Bisimilarity of Open Terms |
113
Voted
ICFP
2008
ACM
16 years 19 days ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
119
Voted
AUTOMOTIVEUI
2009
ACM
15 years 7 months ago
2009
ACM
In this paper, we present a concept for an open vehicular data interface and describe it’s components and architecture. We discuss the enabled applications in the context of adv...
118
Voted
TGC
2007
Springer
15 years 6 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
76
Voted
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
‘Rich media’ is a term that implies the integration of all of the advances we have made in the mobile space delivering music, speech, text, graphics and video. This is true, b...
91
Voted
EVOW
2005
Springer
15 years 6 months ago
2005
Springer
Applying evolutionary methods to the generation of music and art is a relatively new field of enquiry. While there have been some important developments, it might be argued that to...