1187 search results - page 154 / 238 » Graph-Based Procedural Abstraction |
153
click to vote
PEPM
2010
ACM
16 years 25 days ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
157
Voted
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
151
Voted
ISBRA
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Many of the steps in phylogenetic reconstruction can be confounded by “rogue” taxa, taxa that cannot be placed with assurance anywhere within the tree—whose locatio...
126
Voted
ICC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract —Previous work demonstrated that the improvements in spectral efficiency and link reliability can be obtained in wireless relay networks employing terminals with MIMO c...
130
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Active cannulas are remotely actuated thin continuum robots with the potential to traverse narrow and winding environments without relying on “guiding” environmenta...