1466 search results - page 33 / 294 » Complexity of Reasoning over Temporal Data Models |
124
click to vote
AAAI
2010
15 years 5 months ago
2010
Quantitative modeling plays a key role in the natural sciences, and systems that address the task of inductive process modeling can assist researchers in explaining their data. In...
122
Voted
UM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. User behaviors on a system vary not only among individuals but also within the same user when he/she gains experience on the system. We empirically investigated how indiv...
158
click to vote
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Recently, local logics for Mazurkiewicz traces are of increasing interest. This is mainly due to the fact that the satisfiability problem has the same complexity as in t...
213
click to vote
GIS
2006
ACM
16 years 4 months ago
2006
ACM
Creating complex spatio?temporal simulation models is a hot issue in the area of spatio?temporal databases [7]. While existing Moving Object Simulators (MOSs) address different ph...
169
click to vote
CEEMAS
2001
Springer
15 years 8 months ago
2001
Springer
In this paper the internal dynamics of mental states, in particular states based on beliefs, desires and intentions, is formalised using a temporal language. A software environment...