1466 search results - page 194 / 294 » Complexity of Reasoning over Temporal Data Models |
152
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
161
Voted
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
138
click to vote
CGF
2008
15 years 4 months ago
2008
Algebraic Point Set Surfaces (APSS) define a smooth surface from a set of points using local moving least-squares (MLS) fitting of algebraic spheres. In this paper we first revisi...
124
click to vote
TMI
2008
15 years 4 months ago
2008
Tomographic reconstruction from positron emission tomography (PET) data is an ill-posed problem that requires regularization. An attractive approach is to impose an 1-regularizatio...
152
click to vote
CIKM
2007
Springer
15 years 8 months ago
2007
Springer
Hidden markov model (HMM) is frequently used for Pinyin-toChinese conversion. But it only captures the dependency with the preceding character. Higher order markov models can brin...