379 search results - page 69 / 76 » A Generative Approach to Change-Driven Consistency in Multi-... |
ICLP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
UIC
2007
Springer
15 years 4 months ago
2007
Springer
Nowadays, e-learning systems are widely used for education and training in universities and companies because of their electronic course content access and virtual classroom partic...
95
Voted
SAC
2004
ACM
15 years 3 months ago
2004
ACM
Developing an efficient object localization system for complicated industrial objects is an important, yet difficult robotic task. To tackle this problem, we have developed a syst...
SETN
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we present a novel approach, called “Text to Pronunciation (TtP)”, for the proper normalization of Non-Standard Words (NSWs) in unrestricted texts. The methodolog...
103
click to vote
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
— In this paper we present a novel method for robot path planning based on learning motion patterns. A motion pattern is defined as the path that results from applying a set of ...