2071 search results - page 318 / 415 » An Empirical Evaluation of LFG-DOP |
124
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
109
click to vote
CIBCB
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract-- The RNA secondary structure design (SSD) problem is a recently emerging research topic motivated by applications such as customized drug design and the self-assembly of ...
107
Voted
GIS
2008
ACM
15 years 1 months ago
2008
ACM
The use of centralized, real-time position tracking is proliferating in the areas of logistics and public transportation. Real-time positions can be used to provide up-to-date inf...
107
click to vote
GISCIENCE
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Current applications for wayfinding and navigation assistance usually calculate the route to a destination based on the shortest or fastest path from the origin. However...
89
Voted
ICML
2010
IEEE
15 years 1 months ago
2010
IEEE
We address the problem of evaluating the risk of a given model accurately at minimal labeling costs. This problem occurs in situations in which risk estimates cannot be obtained f...