Sciweavers

1015 search results - page 59 / 203
» On Information Regularization
Sort
View
ICLP
2003
Springer
15 years 5 months ago
Termination Analysis with Types Is More Accurate
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...
Vitaly Lagoon, Frédéric Mesnard, Pet...
BCSHCI
2007
15 years 1 months ago
Blogs, reflective practice and student-centered learning
Blogging can be used to enhance education by encouraging reflective practice. We present a study in which a final year HCI course was constructed around regular blogging activity....
Russell Beale
VCIP
2003
129views Communications» more  VCIP 2003»
15 years 1 months ago
Fast method of segmentation and indexing MPEG1-2 flow
Multimedia data accessibility depends on a precise indexing, involving a computational cost. This paper proposes a new fast method of segmentation and indexing in order to fill o...
Lionel Brunel, Pierre Mathieu
AAAI
1990
15 years 1 months ago
Accent and Discourse Context: Assigning Pitch Accent in Synthetic Speech
Identifying the regularities underlying speaker decisions to emphasize or de-emphasize an item intonationally has long been the subject of speculation and controversy. This paper ...
Julia Hirschberg
ENTCS
2008
106views more  ENTCS 2008»
14 years 12 months ago
Towards a Sharing Strategy for the Graph Rewriting Calculus
The graph rewriting calculus is an extension of the -calculus, handling graph like structures rather than simple terms. The calculus over terms is naturally generalized by using u...
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, C...