2293 search results - page 54 / 459 » Temporal Logic in Information Systems |
ISCIS
2004
Springer
15 years 3 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...
106
click to vote
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract- We introduce metrics on sensorimotor experience at various temporal scales based on informationtheory. Sensorimotor variables through which the experience of an agent fl...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We propose a new approach to collaborative filtering in mobile tourist information systems based on spatio-temporal proximity in social contexts. Users store ratings and ...
TIME
2009
IEEE
15 years 4 months ago
2009
IEEE
—Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Acti...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...