1818 search results - page 274 / 364 » Granularity-Adaptive Proof Presentation |
121
Voted
TPHOL
2008
IEEE
15 years 10 months 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...
125
Voted
DATE
2007
IEEE
15 years 9 months 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...
125
Voted
ICRA
2007
IEEE
15 years 9 months 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...
136
click to vote
ICTAI
2007
IEEE
15 years 9 months 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...
120
click to vote
INFOCOM
2007
IEEE
15 years 9 months 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...