1818 search results - page 274 / 364 » Granularity-Adaptive Proof Presentation |
154
click to vote
TPHOL
2008
IEEE
16 years 21 days ago
2008
IEEE
In this paper, we present an approach to describe uniformly iterated “big” operations, like Pn i=0 f(i) or maxi∈I f(i) and to provide lemmas that encapsulate all the commonly...
161
click to vote
DATE
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
163
click to vote
ICRA
2007
IEEE
16 years 19 days ago
2007
IEEE
— A decentralized, adaptive control law is presented to drive a network of mobile robots to a near-optimal sensing configuration. The control law is adaptive in that it integrat...
169
click to vote
ICTAI
2007
IEEE
16 years 19 days ago
2007
IEEE
The provision of embedding neural networks into software applications can enable variety of Artificial Intelligence systems for individual users as well as organizations. Previous...
163
click to vote
INFOCOM
2007
IEEE
16 years 19 days ago
2007
IEEE
— We consider the problem of broadcasting a live stream of data in an unstructured network. Broadcasting has been studied extensively for networks with capacity constraints at th...