2611 search results - page 235 / 523 » A Logic for Concepts and Similarity |
178
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typica...
137
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Aligning IT to business needs is still one of the most important concerns for senior management. The message of Business and IT Alignment (BIA) is logical and undisputed, but impl...
168
click to vote
GW
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present an collaborative approach towards a detailed understanding of the usage of pointing gestures accompanying referring expressions. This effort is undertaken in t...
155
click to vote
IFIP
2005
Springer
16 years 2 days ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
147
click to vote
ICAISC
2004
Springer
15 years 12 months ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...