1313 search results - page 89 / 263 » Generic Universe Types |
130
click to vote
ENTCS
2008
15 years 4 months ago
2008
We argue that symmetric (semi)monoidal comonads provide a means to structure context-dependent notions of computation such as notions of dataflow computation (computation on strea...
132
click to vote
MOBIQUITOUS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a framework prototype for sentient environments. The framework provides a generic interface to the applications for interacting with sentient artefacts in a un...
124
click to vote
DEXAW
1999
IEEE
15 years 8 months ago
1999
IEEE
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...
129
click to vote
3DPVT
2004
IEEE
15 years 8 months ago
2004
IEEE
We present a formulation of boundary mesh segmentation as an optimization problem. Previous segmentation solutions are classified according to the different segmentation goals, th...
147
click to vote
SAC
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...