1746 search results - page 274 / 350 » A Constructive Semantics for ALC |
131
click to vote
ROMAN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Models that can efficiently, compactly, and semantically represent potential users are important tools for human-robot interaction applications. We model a person as a p...
147
click to vote
ADAPTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The amount of information available online is increasing exponentially. While this information is a valuable resource, its sheer volume limits its value. Many research pr...
136
click to vote
AMR
2007
Springer
15 years 10 months ago
2007
Springer
We extend an approach to search inside large-scale music collections by enabling the user to give feedback on the retrieved music pieces. In the original approach, a search engine ...
151
Voted
BPM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
122
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...