1178 search results - page 164 / 236 » An Approach to Exploring Description Logic Knowledge Bases |
142
click to vote
BPM
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. A company's ability to flexibly adapt to changing business requirements is one key factor to remain competitive. The required flexibility in peopledriven processes i...
142
click to vote
IAT
2009
IEEE
16 years 27 days ago
2009
IEEE
—High level conceptual thought seems to be at the basis of the impressive human cognitive ability. Classical topdown (Logic based) and bottom-up (Connectionist) approaches to the...
151
click to vote
IJISEC
2008
15 years 6 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
161
click to vote
DLOG
2009
15 years 4 months ago
2009
We report on event recognition within the life logging application IYOUIT for the automatic creation of static diary-like Blogs. Based on the qualitative context histories produced...
177
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...