5205 search results - page 317 / 1041 » Tilings and model theory |
94
Voted
COGSCI
2002
15 years 18 days ago
2002
Selectional preferences have a long history in both generative and computational linguistics. However, since the publication of Resnik's dissertation in 1993, a new approach ...
TPDS
1998
15 years 12 days ago
1998
—Instruction fetching is critical to the performance of a superscalar microprocessor. We develop a mathematical model for three different cache techniques and evaluate its perfor...
89
Voted
LOGCOM
2010
14 years 11 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
108
Voted
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
Originally, the hierarchical coding structure was proposed to achieve temporal scalability. Soon after, it was realized that with a proper quantization parameter cascading (QPC) s...
106
Voted
TABLEAUX
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...