2766 search results - page 226 / 554 » Algorithms for trigonometric polynomials |
169
click to vote
EUROGRAPHICS
2010
Eurographics
16 years 9 days ago
2010
Eurographics
Higher-order finite element methods have emerged as an important discretization scheme for simulation. They are increasingly used in contemporary numerical solvers, generating a ...
145
Voted
ECCC
2006
15 years 5 months ago
2006
Attempts at classifying computational problems as polynomial time solvable, NP-complete, or belonging to a higher level in the polynomial hierarchy, face the difficulty of undecid...
141
Voted
SIGECOM
2006
ACM
15 years 11 months ago
2006
ACM
Graphical games have been proposed as a game-theoretic model of large-scale distributed networks of non-cooperative agents. When the number of players is large, and the underlying...
131
click to vote
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
Zdancewic and Myers introduced observational determinism as a scheduler independent notion of security for concurrent programs. This paper proposes a type system for verifying obs...
169
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base t...