Sciweavers

1419 search results - page 47 / 284
» Notes on Formalizing Context
Sort
View
ADBIS
2004
Springer
94views Database» more  ADBIS 2004»
15 years 4 months ago
Formalization and Detection of Events over a Sliding Window in Active Databases Using Interval-Based Semantics
Trend analysis and forecasting applications (e.g., securities trading, stock market, and after-the-fact diagnosis) need event detection along a moving time window. Event-driven app...
Raman Adaikkalavan, Sharma Chakravarthy
ECAI
2006
Springer
15 years 4 months ago
Formalizing Complex Task Libraries in Golog
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
Alfredo Gabaldon
107
Voted
JSW
2007
119views more  JSW 2007»
15 years 13 days ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi
130
Voted
ISEMANTICS
2010
14 years 11 months ago
Towards an approach for formalizing the supply chain operations
Reference models play an important role in the knowledge management of the various complex collaboration domains (such as Supply Chain Networks). However, they often show a lack o...
Milan Zdravkovic, Hervé Panetto, Miroslav T...
ICMCS
2006
IEEE
128views Multimedia» more  ICMCS 2006»
15 years 6 months ago
Multimedia Informal Communication by Wearable Computer based on Real-World Context and Graffiti
The informal information can be so intuitive, emotional, personal, honest and subjective that it is very difficult to get them from the formal media. In this paper, we demonstrate...
Shun'ichi Tano, Tatsuhiro Takayama, Mitsuru Iwata,...