1313 search results - page 29 / 263 » Generic Universe Types |
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
TLDI
2003
ACM
14 years 1 months ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
MM
1999
ACM
14 years 23 days ago
1999
ACM
A real-time audio segmentation and indexing scheme is presented in this paper. Audio recordings are segmented and classified into basic audio types such as silence, speech, music,...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
An unified language for the communicative acts between agents is essential for the design of multi-agents architectures. Whatever the type of interaction (linguistic, multimodal, ...
CSEE
2009
Springer
14 years 3 months ago
2009
Springer
There has been much recent interest in how to help students in higher education develop their generic skills, especially since this is a focus of the Bologna process that aims to ...