11538 search results - page 1875 / 2308 » From Text to Knowledge |
180
click to vote
TABLEAUX
2007
Springer
16 years 29 days ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...
190
click to vote
VISUAL
2007
Springer
16 years 29 days ago
2007
Springer
Chorems are schematized representations of territories, and so they can represent a good visual summary of spatial databases. Indeed for spatial decision-makers, it is more importa...
184
click to vote
WEBDB
2007
Springer
16 years 29 days ago
2007
Springer
Publish/subscribe (or pub/sub) systems perform asynchronous message transmission, from publishers to subscribers, without any of the parties having knowledge of the other. The pub...
190
click to vote
AVSS
2006
IEEE
16 years 28 days ago
2006
IEEE
In this paper, we revisit the role of the image of the absolute conic (IAC) in recovering the camera geometry. We derive new constraints on IAC that advance our understanding of i...
182
click to vote
BIBE
2006
IEEE
16 years 28 days ago
2006
IEEE
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...