580 search results - page 56 / 116 » Approximation Algorithms for Temporal Reasoning |
113
click to vote
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
136
click to vote
JIIS
2006
15 years 2 months ago
2006
Spatio-temporal, geo-referenced datasets are growing rapidly, and will be more in the near future, due to both technological and social/commercial reasons. From the data mining vie...
147
Voted
SEMWEB
2010
Springer
15 years 12 days ago
2010
Springer
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...
131
click to vote
CORR
2012
Springer
13 years 10 months ago
2012
Springer
We show that the log-likelihood of several probabilistic graphical models is Lipschitz continuous with respect to the p-norm of the parameters. We discuss several implications ...
117
Voted
FM
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...