8094 search results - page 349 / 1619 » Improvements in Formula Generalization |
179
click to vote
GLVLSI
2008
IEEE
16 years 21 days ago
2008
IEEE
Novel nano-scale devices have shown promising potential to overcome physical barriers faced by complementary metaloxide semiconductor (CMOS) technology in future circuit design. H...
168
click to vote
VTC
2008
IEEE
16 years 18 days ago
2008
IEEE
—In this paper, we propose a generalized cooperative signal transmission model for wireless networks. In this model, the source, the destination, and an arbitrary number of relay...
170
click to vote
ICRA
2007
IEEE
16 years 16 days ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
125
click to vote
ATAL
2007
Springer
16 years 13 days ago
2007
Springer
This article deals with the problem of collaborative learning in a multi-agent system. Here each agent can update incrementally its beliefs B (the concept representation) so that ...
153
click to vote
ATAL
2007
Springer
16 years 13 days ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...