Sciweavers

2313 search results - page 187 / 463
» On Heuristic Time Hierarchies
Sort
View
CSL
2009
Springer
16 years 1 months ago
On the Parameterised Intractability of Monadic Second-Order Logic
One of Courcelle’s celebrated results states that if C is a class of graphs of bounded tree-width, then model-checking for monadic second order logic (MSO2) is fixed-parameter t...
Stephan Kreutzer
CCGRID
2008
IEEE
16 years 1 months ago
Joint Communication and Computation Task Scheduling in Grids
In this paper we present a multicost algorithm for the joint time scheduling of the communication and computation resources that will be used by a task. The proposed algorithm sel...
Kostas Christodoulopoulos, Nikolaos D. Doulamis, E...
ICRA
2005
IEEE
118views Robotics» more  ICRA 2005»
16 years 4 days ago
Learning-Assisted Multi-Step Planning
— Probabilistic sampling-based motion planners are unable to detect when no feasible path exists. A common heuristic is to declare a query infeasible if a path is not found in a ...
Kris K. Hauser, Timothy Bretl, Jean-Claude Latombe
PKDD
2005
Springer
142views Data Mining» more  PKDD 2005»
16 years 1 days ago
Speeding Up Logistic Model Tree Induction
Logistic Model Trees have been shown to be very accurate and compact classifiers [8]. Their greatest disadvantage is the computational complexity of inducing the logistic regressi...
Marc Sumner, Eibe Frank, Mark A. Hall
COMPGEOM
2000
ACM
15 years 11 months ago
Computing approximate shortest paths on convex polytopes
The algorithms for computing a shortest path on a polyhedral surface are slow, complicated, and numerically unstable. We have developed and implemented a robust and efficient algo...
Pankaj K. Agarwal, Sariel Har-Peled, Meetesh Karia