272 search results - page 24 / 55 » Some Results on Ordered Structures in Toposes |
ICDE
2005
IEEE
14 years 9 months ago
2005
IEEE
Many scientific applications generate massive volumes of data through observations or computer simulations, bringing up the need for effective indexing methods for efficient stora...
JIFS
2007
13 years 8 months ago
2007
An increase in hazardous materials transportation in Iran along with the industrial development and increase of resulted deadly accidents necessitate the development and implementa...
ICDE
2005
IEEE
14 years 9 months ago
2005
IEEE
Vertical partitioning is a well-known technique for optimizing query performance in relational databases. An extreme form of this technique, which we call vectorization, is to sto...
GI
2004
Springer
14 years 1 months ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...
SIGACT
2008
13 years 8 months ago
2008
Two long-open problems have been solved: (1) every sufficiently large planar point set in general position contains the vertices of an empty hexagon; (2) every finite collection o...