4894 search results - page 116 / 979 » Choices |
160
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...
120
click to vote
CAISE
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Poor quality data may be detected and corrected by performing various quality assurance activities that rely on techniques with different efficacy and cost. In this pape...
141
click to vote
ICIP
2008
IEEE
16 years 23 days ago
2008
IEEE
Connected operators are an important tool for the analysis of greyscale images. In extending them to colour and other vector images there are a number of issues that must be addre...
164
click to vote
IPPS
2007
IEEE
16 years 19 days ago
2007
IEEE
An innovative technique to model and simulate partial and dynamic reconfigurable processors is presented in this paper. The basis for development is a SystemC kernel modified for ...
132
click to vote
IROS
2006
IEEE
16 years 10 days ago
2006
IEEE
— A recent study showed that high failure rates in many instances of decoupled multi-robot motion planning makes the decoupled planning approach an unsuitable choice in compariso...