5353 search results - page 388 / 1071 » Modelling Contexts in the Or-BAC Model |
171
click to vote
JOLLI
2008
15 years 7 months ago
2008
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propos...
202
click to vote
JUCS
2008
15 years 7 months ago
2008
: When the user interface is specified, a picture is worth a thousand words, and the worst thing one can do is write a natural-language specification for it. Because this practice ...
189
click to vote
JSAC
2006
15 years 7 months ago
2006
End-to-end packet-pair probing has been used as one of the primary mechanisms to measure bottleneck capacity, crosstraffic intensity, and available bandwidth of end-to-end Internet...
215
Voted
PAA
2008
15 years 7 months ago
2008
Artificial immune system (AIS)-based pattern classification approach is relatively new in the field of pattern recognition. The study explores the potentiality of this paradigm in ...
213
click to vote
ICWSM
2009
15 years 5 months ago
2009
This paper defines a concept of trust incident accounts as verbal reports of empirical episodes in which a trustor has reached a state of positive or negative expectations of a tr...