4781 search results - page 700 / 957 » Complexity at large |
94
Voted
WSC
1989
15 years 1 months ago
1989
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...
100
Voted
WCE
2007
15 years 1 months ago
2007
—A dramatic and continuous increase in the complexity and size of websites on the Internet makes rather difficult to build such websites with required information to be easily fo...
96
Voted
AIPS
2009
15 years 1 months ago
2009
abstraction heuristics, notably pattern-database and merge-and-shrink heuristics, are employed by some state-ofthe-art optimal heuristic-search planners. The major limitation of t...
113
Voted
CAEPIA
2009
Springer
15 years 1 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
111
click to vote
CCGRID
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Resource discovery is a challenging issue in unstructured peer-to-peer networks. Blind search approaches, including flooding and random walks, are the two typical algorit...