2165 search results - page 289 / 433 » cases 2005 |
132
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
157
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
151
click to vote
MSE
2005
IEEE
15 years 11 months ago
2005
IEEE
The fast growing complexity and short time-tomarket of embedded systems designs, besides the great increase in capacity of today’s chips, are mobilizing the industry towards to ...
131
click to vote
MSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Traditional file systems provide a weak and inadequate structure for meaningful representations of file interrelationships and other context-providing metadata. Existing designs...
158
click to vote
MSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Modern storage systems are responsible for increasing amounts of data and the value of the data itself is growing in importance. Several primary storage system solutions have emer...