2649 search results - page 141 / 530 » Temporal Theories of Reasoning |
176
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
We study the problem of proving in weak theories of Bounded Arithmetic the theorem that there are arbitrarily large prime numbers. We show that the theorem can be proved by some &...
159
click to vote
ICMCS
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper presents a new spatio-temporal motion estimation algorithm for video coding. The algorithm is based on optimization theory and consists of the strategies including 3D s...
189
click to vote
TGIS
2002
15 years 6 months ago
2002
The research field of transportation demand forecasting has started to focus on disaggregate travel behavior and micro-simulation models. To create data infrastructure, disaggrega...
193
click to vote
GEOS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
166
click to vote
ER
2007
Springer
16 years 22 days ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...