Sciweavers

4211 search results - page 387 / 843
» Types as Abstract Interpretations
Sort
View
ICCPOL
2009
Springer
16 years 1 months ago
Transliteration Based Text Input Methods for Telugu
Abstract. Telugu is the third most spoken language in India and one of the fifteen most spoken languages in the world. But, there is no standardized input method for Telugu, which ...
V. B. Sowmya, Vasudeva Varma
UM
2009
Springer
16 years 1 months ago
Context-Dependent Personalised Feedback Prioritisation in Exploratory Learning for Mathematical Generalisation
Abstract. In this paper we address the problem of prioritising feedback on the basis of multiple heterogeneous pieces of information in exploratory learning. The problem arises whe...
Mihaela Cocea, George D. Magoulas
ISCAS
2007
IEEE
111views Hardware» more  ISCAS 2007»
16 years 1 months ago
Boundaries Between Fast-and Slow-Scale Bifurcations in Parallel-Connected Buck Converters
Abstract— This paper studies a system of parallelconnected dc/dc converters under master-slave current sharing and proportional-integral (PI) PWM control. Two distinct types of b...
Yuehui Huang, Herbert H. C. Iu, C. K. Michael Tse
GCC
2007
Springer
16 years 1 months ago
Spaces: Support for Decoupled Communication in Wide-Area Parallel Applications
Wide-area distributed systems like computational grids are emergent infrastructures for high-performance parallel applications. On these systems, communication mechanisms have to ...
Philip Chan, David Abramson
IROS
2006
IEEE
124views Robotics» more  IROS 2006»
16 years 25 days ago
Simulation of Acquisition of Locomotion of an Infant Robot
Abstract— The authors proposed a simulation method to clarify the developmental process of human locomotion using a model of infant robot. The infant robot has many degrees of fr...
Katsuyoshi Tsujita, Tatsuya Masuda