747 search results - page 64 / 150 » An Alternative Representation for QBF |
BTW
2007
Springer
15 years 6 months ago
2007
Springer
: Information integration requires manipulating data and metadata in ways that in general go beyond a single existing transformation formalism. As a result, a complete source-to-ta...
ESOP
2007
Springer
15 years 6 months 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...
ISVC
2007
Springer
15 years 6 months 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...
108
click to vote
GMP
2006
IEEE
15 years 6 months ago
2006
IEEE
Skeletons are important shape descriptors in object representation and recognition. Typically, skeletons of volumetric models are computed using iterative thinning. However, tradi...
DOCENG
2006
ACM
15 years 5 months ago
2006
ACM
Mash-ups extract data fragments from disparate sources, and combine and transform the extracted fragments for display. Currently, mash-up developers tend to employ ad hoc represen...