3724 search results - page 540 / 745 » Timed regular expressions |
136
click to vote
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...
119
click to vote
SP
1990
IEEE
15 years 8 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
157
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
117
click to vote
DAGM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Klassen et al. [9] recently developed a theoretical formulation to model shape dissimilarities by means of geodesics on appropriate spaces. They used the local geometry o...
155
click to vote
EKAW
2006
Springer
15 years 8 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...