Sciweavers

1015 search results - page 59 / 203
» On Information Regularization
Sort
View
155
Voted
ICLP
2003
Springer
15 years 10 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...
112
Voted
BCSHCI
2007
15 years 6 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 6 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
127
Voted
AAAI
1990
15 years 6 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
142
Voted
ENTCS
2008
106views more  ENTCS 2008»
15 years 5 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...