1982 search results - page 158 / 397 » Parametricity and dependent types |
163
click to vote
ICDCSW
2008
IEEE
16 years 1 months ago
2008
IEEE
Energy consumption is one of the critical concerns in sensor networks. In particular, there is substantial interest to investigate the distribution of the energy consumption among...
125
click to vote
ICALT
2007
IEEE
16 years 28 days ago
2007
IEEE
The tutor tries, by using feedbacks, to keep the learner’s attention and to increase his motivation and then his performance. However, the effectiveness of the tutor’s feedbac...
126
click to vote
ISCAS
2007
IEEE
16 years 26 days ago
2007
IEEE
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...
126
click to vote
ECAL
2007
Springer
16 years 23 days ago
2007
Springer
There is an ongoing debate about whether the words in the first languages spoken by humans expressed single concepts or complex holophrases. A computer model was used to investigat...
155
click to vote
ECTEL
2007
Springer
16 years 23 days ago
2007
Springer
Today, systems should react based on explicit demands from the learner or even proactively react based on changes in the working environment. The success of this type of systems de...