9888 search results - page 244 / 1978 » compute 2009 |
199
click to vote
CCCG
2009
15 years 8 months ago
2009
In structural molecular biology software, the accessibility of an atom in a molecule to a ball representing solvent is either computed slowly by building a solventaccessible surfa...
192
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
192
click to vote
CSE
2009
IEEE
15 years 12 months ago
2009
IEEE
This paper presents metaViz, an online application that uses computational metaphor identification to find conceptual metaphors in political blogs. The application presents those ...
183
click to vote
EVOW
2009
Springer
16 years 2 months ago
2009
Springer
We consider a real-world problem arising in a warehouse for spare parts. Items ordered by customers shall be collected and for this purpose our task is to determine efficient picku...
186
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
CEDAR (Counter Example Driven Antichain Refinement) is a new symbolic algorithm for computing weakest strategies for safety games of imperfect information. The algorithm computes ...