5353 search results - page 747 / 1071 » Modelling Contexts in the Or-BAC Model |
198
click to vote
DCC
1992
IEEE
15 years 11 months ago
1992
IEEE
Text compression algorithms are normally defined in terms of a source alphabet of 8-bit ASCII codes. We consider choosing to be an alphabet whose symbols are the words of Englis...
191
click to vote
WDAG
1993
Springer
15 years 11 months ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
220
click to vote
AGP
2010
IEEE
15 years 11 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
168
click to vote
ACMACE
2007
ACM
15 years 11 months ago
2007
ACM
In this workshop we investigate a possible role of brain-computer interaction in computer games and entertainment computing. The assumption is that brain activity, whether it is c...
165
click to vote
CAIP
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes a technique for the representation of the 2D frontal view of faces, based on Catmull-Rom splines. It takes advantage of the a priori knowledge about the face s...