13383 search results - page 2301 / 2677 » Abstractions from proofs |
157
click to vote
TWC
2011
14 years 11 months ago
2011
Abstract—In this paper we consider wireless cooperative multihop networks, where nodes that have decoded the message at the previous hop cooperate in the transmission toward the ...
154
click to vote
VC
2011
14 years 11 months ago
2011
Abstract We present an algorithm for computing families of geodesic curves over an open mesh patch to partition the patch into strip-like segments. Specifically, the segments can ...
171
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Abstract- In order to prevent detection and evade signature-based scanning methods, which are normally exploited by antivirus softwares, metamorphic viruses use several various obf...
139
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- Multi-agent system is a rapidly developing research area with strong support from both civilian and military applications. One of the essential problems in multi-agent s...
166
click to vote
IJSR
2010
14 years 11 months ago
2010
Abstract The DLR Lightweight Robot III (LWR-III) developed at the German Aerospace Center (DLR) is characterized by low inertial properties, torque sensing in each joint, and a loa...