2844 search results - page 379 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
165
click to vote
VL
2008
IEEE
16 years 27 days ago
2008
IEEE
We present an error-detection and -correction approach for spreadsheets that automatically generates questions about input/output pairs and, depending on the feedback given by the...
170
click to vote
EDOC
2007
IEEE
16 years 26 days ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...
149
click to vote
IROS
2007
IEEE
16 years 25 days ago
2007
IEEE
— We develop a framework to allow generic object detection algorithms to exploit geometric information commonly available to robot vision systems. Robot systems take pictures wit...
124
click to vote
ISCAS
2007
IEEE
16 years 25 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...
158
click to vote
MKM
2007
Springer
16 years 20 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...