1054 search results - page 52 / 211 » Guarded Expressions in Practice |
ICTAI
1996
IEEE
14 years 3 months ago
1996
IEEE
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
DLOG
2010
13 years 9 months ago
2010
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...
KES
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. In this paper, we propose a framework for content collection and connection enabled by public large screens and mobile phones. Making people express their stories will en...
ZUM
2005
Springer
14 years 4 months ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
FOIS
2006
14 years 12 days ago
2006
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...