528 search results - page 93 / 106 » Degrees of categoricity of computable structures |
ICDE
2011
IEEE
13 years 9 days ago
2011
IEEE
ā SQL is a classical and powerful tool for querying relational databases. However, it is rather hard for inexperienced users to pose SQL queries, as they are required to be proļ¬...
COMPGEOM
2004
ACM
14 years 2 months ago
2004
ACM
Given a set of n points S in the plane, a triangulation of S is a subdivision of the convex hull into triangles whose vertices are from S. In the kinetic setting, the input point ...
FSS
2006
13 years 8 months ago
2006
Among the various extensions to the common [0, 1]-valued truth degrees of "traditional" fuzzy set theory, closed intervals of [0, 1] stand out as a particularly appealin...
ICTAC
2010
Springer
13 years 7 months ago
2010
Springer
Material Flow Abstraction of Manufacturing Systems. ā£Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Speciļ¬cation and Veriļ¬cation of a MPI Implementation for a MP-SoC...
CONCURRENCY
1998
13 years 8 months ago
1998
Titanium is a language and system for high-performance parallel scientiļ¬c computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...