8810 search results - page 335 / 1762 » Open. Closed. Open |
CORR
2010
Springer
15 years 6 months ago
2010
Springer
At http://wiki.openmath.org, the OpenMath 2 and 3 Content Dictionaries are accessible via a semantic wiki interface, powered by the SWiM system. We shortly introduce the inner work...
148
click to vote
CAIP
2007
Springer
15 years 10 months ago
2007
Springer
The eccentricity transform associates to each point of a shape the shortest distance to the point farthest away from it. It is defined in any dimension, for open and closed manyfol...
297
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
Traditionally, query processing gets a query and a database instance as input and returns the result of the query for that particular database instance. Reverse query processing (...
268
click to vote
CVPR
1999
IEEE
16 years 7 months ago
1999
IEEE
An algebraic curve is defined as the zero set of a polynomial in two variables. Algebraic curves are practical for modeling shapes much more complicated than conics or su...
258
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...