2584 search results - page 22 / 517 » On the Forward Checking Algorithm |
174
Voted
ICDE
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a novel streaming algorithm for evaluating XPath expressions that use backward axes (parent and ancestor) and forward axes in a single document-order traversal of an XM...
QEST
2006
IEEE
15 years 3 months ago
2006
IEEE
The time-bounded reachability problem for continuoustime Markov chains (CTMCs) amounts to determine the probability to reach a (set of) goal state(s) within a given time span, suc...
IJCNN
2007
IEEE
15 years 4 months ago
2007
IEEE
— Using the classical Parzen window estimate as the target function, the kernel density estimation is formulated as a regression problem and the orthogonal forward regression tec...
69
Voted
CONEXT
2008
ACM
14 years 11 months ago
2008
ACM
Virtual routers are a promising way to provide network services such as customer-specific routing, policy-based routing, multi-topology routing, and network virtulization. However...
64
Voted
POPL
1994
ACM
15 years 1 months ago
1994
ACM
This paper discusses call forwarding, a simple interprocedural optimization technique for dynamically typed languages. The basic idea behind the optimization is straightforward: n...