9626 search results - page 1478 / 1926 » Invariant Based Programming |
170
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...
225
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a vision based method for grasp classification. It is developed as part of a Programming by Demonstration (PbD) system for which recognition of objects and...
151
click to vote
IV
2008
IEEE
16 years 1 months ago
2008
IEEE
Existing Information Visualization models provide insufficient support to visualization programmers in creating applications. They either broad and taxonomy based, or narrowly fo...
161
click to vote
NOMS
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper∗ , we devise a novel method for bottleneck analysis of UDP networks based on the concept of network utility maximization. To determine the losses on the links in...
141
click to vote
PIMRC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Two-way relaying, which enables bidirectional simultaneous data transmission between two nodes, is an efficient means to reduce the spectral efficiency loss observed ...