Sciweavers

1419 search results - page 47 / 284
» Notes on Formalizing Context
Sort
View
143
Voted
ADBIS
2004
Springer
94views Database» more  ADBIS 2004»
15 years 6 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
100
Voted
ECAI
2006
Springer
15 years 6 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
129
Voted
JSW
2007
119views more  JSW 2007»
15 years 2 months 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
150
Voted
ISEMANTICS
2010
15 years 1 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...
102
Voted
ICMCS
2006
IEEE
128views Multimedia» more  ICMCS 2006»
15 years 8 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,...