3719 search results - page 551 / 744 » order 2010 |
185
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--There has been growing interest in creating intelligent agents in virtual worlds that do not follow fixed scripts predefined by the developers, but react accordingly base...
159
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Since several years, great distribution firms implement more and more complex layout and shelf allocation strategies, so as to force empirical know-how to combine with Ar...
193
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
209
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
1In this paper, we will present an effective layout method for analog circuits. We consider symmetry constraint, common centroid constraint, device merging and device clustering du...
172
click to vote
ICCHP
2010
Springer
15 years 4 months ago
2010
Springer
Assistive Technology (AT) software market is expensive, and related products are hard to find, especially for non-English speaking users. Open Source and free AT software partially...