119 search results - page 9 / 24 » A New Approach to Incremental Cycle Detection and Related Pr... |
138
click to vote
IJCAI
1989
15 years 7 months ago
1989
Most past research work on problem subgoal ordering are of a heuristic nature and very little attempt has been made to reveal the inherent relationship between subgoal ordering co...
175
click to vote
BROADNETS
2007
IEEE
16 years 20 days ago
2007
IEEE
— Network dimensioning for wavelength-routed WDM networks has been extensively studied to maximize connection acceptance rate while minimizing the total cost. However, Internet s...
199
click to vote
SIGGRAPH
1998
ACM
15 years 10 months ago
1998
ACM
We present an efficient algorithm for visibility sorting a set of moving geometric objects into a sequence of image layers which are composited to produce the final image. Inste...
188
click to vote
ASC
2011
15 years 1 months ago
2011
In this paper, we present new approaches to handling drift and shift in on-line data streams with the help of evolving fuzzy systems (EFS), which are characterized by the fact tha...
206
click to vote
MEMOCODE
2008
IEEE
16 years 22 days ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...