1070 search results - page 103 / 214 » Type Classes with Functional Dependencies |
CGF
2010
13 years 9 months ago
2010
Interactive information visualization systems rely on widgets to allow users to interact with the data and modify the representation. We define interactive legends as a class of c...
MOC
2002
13 years 8 months ago
2002
Dimensionally unbounded problems are frequently encountered in practice, such as in simulations of stochastic processes, in particle and light transport problems and in the problem...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
PADL
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
PROLAMAT
2001
13 years 10 months ago
2001
: In most cases in intelligent manufacturing applications the communication functions depend on the capabilities of the intelligent tool (e.g. expert system). Three different types...