Sciweavers

1005 search results - page 32 / 201
» Temporal Structures
Sort
View
DKE
2008
108views more  DKE 2008»
13 years 10 months ago
The thematic and citation landscape of Data and Knowledge Engineering
The thematic and citation structures of Data and Knowledge Engineering (DKE) (1985-2007) are identified based on text analysis and citation analysis of the bibliographic records o...
Chaomei Chen, Il-Yeol Song, Xiaojun Yuan, Jian Zha...
APWEB
2008
Springer
13 years 11 months ago
Socio-Sense: A System for Analysing the Societal Behavior from Long Term Web Archive
Abstract. We introduce Socio-Sense Web analysis system. The system applies structural and temporal analysis methods to long term Web archive to obtain insight into the real society...
Masaru Kitsuregawa, Takayuki Tamura, Masashi Toyod...
TABLEAUX
2007
Springer
14 years 3 months ago
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
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...
Davide Bresolin, Valentin Goranko, Angelo Montanar...
JAPLL
2007
88views more  JAPLL 2007»
13 years 9 months ago
Some comments on history based structures
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...
Eric Pacuit
VLDB
1993
ACM
121views Database» more  VLDB 1993»
14 years 1 months ago
Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases
The enforcement of semantic integrity constraints in data and knowledge bases constitutea a major performance bottleneck. Integrity constraint simplification methods aim at reduci...
Dimitris Plexousakis