2308 search results - page 209 / 462 » Representing Symbolic Reasoning |
129
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
181
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We aim at developing a singer robot capable of listening to music with its own “ears” and interacting with a human’s musical performance. Such a singer robot requires at ...
170
click to vote
SAMT
2009
Springer
16 years 1 months ago
2009
Springer
The increasing availability of multimedia (MM) resources, Web services as well as content, on the Web raises the need to automatically discover and process resources out of distrib...
167
click to vote
IROS
2008
IEEE
16 years 29 days ago
2008
IEEE
— As the ability to produce a large number of small, simple robotic agents improves, it becomes essential to control the behavior of these robots in such a way that the sum of th...
115
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
—In this paper, we study a new family of carrier-hopping prime codes (CHPCs), so-called quadraticcongruence CHPC (QC-CHPC), with expanded code cardinality by relaxing the maximum...