3335 search results - page 283 / 667 » Grid result checking |
153
click to vote
ICDE
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract Although e-commerce is becoming popular, product rules, which describe various conditions such as prices, applicability, and discount conditions are still expressed in nat...
154
click to vote
ISCA
2005
IEEE
16 years 5 days ago
2005
IEEE
To maintain coherence in conventional shared-memory multiprocessor systems, processors first check other processors’ caches before obtaining data from memory. This coherence che...
144
click to vote
ISMVL
2005
IEEE
16 years 4 days ago
2005
IEEE
A novel duplex asynchronous data-transfer scheme based on multiple-valued encoding is proposed for interleaving in Low-Density Parity-Check (LDPC) decoders, where high-throughput ...
187
click to vote
CAISE
2005
Springer
16 years 3 days ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...
207
click to vote
ICLP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...