10055 search results - page 445 / 2011 » Structured programming using processes |
211
click to vote
SASO
2008
IEEE
16 years 1 months ago
2008
IEEE
— A reconfigurable robot is a robot that can change shape. Programming reconfigurable robots is complicated by the need to adapt the behavior of each of the individual module t...
183
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
162
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We present an efficient search strategy for satisfiability checking on circuits represented at the register-transfer-level (RTL). We use the RTL circuit structure by extending con...
298
click to vote
ACCV
2010
Springer
15 years 1 months ago
2010
Springer
We present a method for optimizing the stereo matching process when it is applied to a series of images with similar depth structures. We observe that there are similar regions wit...
182
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
-- A new Dominant Color Structure Descriptor (DCSD) is proposed in this paper. It is designed to provide an efficient way to represent both color and spatial structure information ...