3116 search results - page 193 / 624 » Positively dependent types |
97
Voted
ISCAS
2007
IEEE
15 years 11 months 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...
ECAL
2007
Springer
15 years 11 months 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...
133
click to vote
ECTEL
2007
Springer
15 years 11 months 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...
121
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
125
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose an online training-oriented video shooting navigation system focused on camerawork based on video grammar by real-time camerawork evaluation to train use...