3863 search results - page 493 / 773 » Function in Device Representation |
167
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
215
click to vote
CVPR
2010
IEEE
16 years 24 days ago
2010
IEEE
We introduce a novel framework for nonrigid feature
matching among multiple sets in a way that takes into consideration
both the feature descriptor and the features spatial
arra...
177
click to vote
FSTTCS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
181
click to vote
HIPC
2007
Springer
16 years 24 days ago
2007
Springer
Peer-to-peer (P2P) topology has significant influence on the performance, search efficiency and functionality, and scalability of the application. In this paper, we present a Gen...
181
click to vote
ISVC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The function of a protein is dependent on whether and how it can interact with various ligands. Therefore, an accurate prediction of protein-ligand interactions is paramo...