10289 search results - page 281 / 2058 » Standard bases in K |
183
click to vote
ICTAI
2007
IEEE
16 years 28 days ago
2007
IEEE
The classification of graph based objects is an important challenge from a knowledge discovery standpoint and has attracted considerable attention recently. In this paper, we pres...
169
click to vote
LCN
2005
IEEE
16 years 6 days ago
2005
IEEE
Wireless mesh based access networks are destined to play a pivotal role in next generation broadband systems. With the proliferation of mesh networks, a key issue for network desi...
166
click to vote
CHARME
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
141
click to vote
DELTA
2010
IEEE
15 years 11 months ago
2010
IEEE
—In this paper we present a new model for characterization of probabilistic gates. While still not mainstream, probabilistic CMOS has the potential to dramatically reduce energy ...
178
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
A panoramic image based localisation system has been implemented on a B21r mobile robot and tested in a heavily cluttered environment. It takes vertical object edges as natural la...