2555 search results - page 419 / 511 » Quantifiers and Working Memory |
141
Voted
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Fault simulation is essential in test generation, design for test and reliability assessment of integrated circuits. Reliability analysis and the simulation of self-test structure...
172
Voted
DASFAA
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. Continuous monitoring of spatial queries has received significant research attention in the past few years. In this paper, we propose two efficient algorithms for the con...
139
click to vote
IPAS
2007
15 years 6 months ago
2007
A practical impossibility of prediction of signs of DCT coefficients is generally accepted. Therefore each coded sign of DCT coefficients occupies usually 1 bit of memory in compr...
130
Voted
AAAI
2008
15 years 6 months ago
2008
Many real-world problems are characterized by complex relational structure, which can be succinctly represented in firstorder logic. However, many relational inference algorithms ...
133
click to vote
AIIDE
2008
15 years 6 months ago
2008
Artificial intelligence (AI) technology can have a dramatic impact on the quality of video games. AI planning techniques are useful in a wide range of game components, including m...