4814 search results - page 543 / 963 » Combining abstract interpreters |
178
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
174
Voted
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper examines the problem of uncertainty due to instrumentation in user modeling systems within spatial domains. We consider the uncertainty of inferring a user’s...
177
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
This paper investigates whether Web comments are of descriptive nature, that is, whether the combined text of a set of comments is similar in topic to the commented object. If so,...
175
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. One major goal of text mining is to provide automatic methods to help humans grasp the key ideas in ever-increasing text corpora. To this effect, we propose a statistica...
138
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Actuator constraints such as saturation can impose severe constraints on networked control systems. For instance delays in wireless control systems of unstable plants c...