5269 search results - page 94 / 1054 » order 2007 |
CSC
2006
15 years 5 months ago
2006
In this paper, we apply the high order WENO schemes to uniform cylindrical and spherical grid. Many 2-D and 3-D problems can be solved in 1-D equations if they have angular and ra...
150
Voted
HASKELL
2007
ACM
15 years 7 months ago
2007
ACM
We propose an extension to list comprehensions that makes it easy to express the kind of queries one would write in SQL using ORDER BY, GROUP BY, and LIMIT. Our extension adds exp...
132
click to vote
VL
2007
IEEE
15 years 10 months ago
2007
IEEE
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
145
click to vote
PTS
2003
15 years 5 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
131
Voted
SOFSEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...