7124 search results - page 1181 / 1425 » Programming Languages and Operating Systems |
138
Voted
ER
2000
Springer
15 years 7 months ago
2000
Springer
A business process model represents the basic building block for a workflow-enabled enterprise information system. Generally, a process model evolves through numerous changes durin...
127
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
149
Voted
LREC
2008
15 years 5 months ago
2008
An ontological knowledge management system requires dynamic and encapsulating operation in order to share knowledge among communities. The key to success of knowledge sharing in t...
134
Voted
DLOG
2003
15 years 5 months ago
2003
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
123
Voted
AAAI
2000
15 years 5 months ago
2000
We analyze a corpus of referring expressions collected from user interactions with a multimodal travel guide application. The analysis suggests that, in dramatic contrast to norma...