1716 search results - page 144 / 344 » Generating models for temporal representations |
154
click to vote
SIGMOD
2000
ACM
15 years 8 months ago
2000
ACM
We consider spatio-temporal databases supporting spatial objects with continuously changing position and extent, termed moving objects databases. We formally define a data model f...
134
click to vote
ISCIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
146
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
134
Voted
COGSCI
2008
15 years 3 months ago
2008
This article investigates the potential of fMRI to test assumptions about different components in models of complex cognitive tasks. If the components of a model can be associated...
141
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...