2681 search results - page 227 / 537 » Problem F |
108
click to vote
SIAMSC
2008
14 years 11 months ago
2008
In the mathematical modeling of real-life applications, systems of equations with complex coefficients often arise. While many techniques of numerical linear algebra, e.g., Krylovs...
90
Voted
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
112
click to vote
DC
2010
15 years 26 days ago
2010
Consider a distributed system N in which each agent has an input value and each communication link has a weight. Given a global function, that is, a function f whose value depends...
115
click to vote
COMPGEOM
2009
ACM
15 years 7 months ago
2009
ACM
Color red and blue the n vertices of a convex polytope P in R3 . Can we compute the convex hull of each color class in o(n log n)? What if we have χ > 2 colors? What if the co...
106
Voted
DOCENG
2006
ACM
15 years 6 months ago
2006
ACM
With the advent of XML we have seen a renewed interest in methods for computing the difference between trees. Methods that include heuristic elements play an important role in pr...