1054 search results - page 75 / 211 » Guarded Expressions in Practice |
LADS
2007
Springer
15 years 6 months ago
2007
Springer
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
TCOM
2008
14 years 11 months ago
2008
The study of Joint Source-Channel Coding (JSCC) systems faces one major challenge in obtaining an analytical expression for the function that links end-to-end distortion with chann...
SIGMOD
2002
ACM
16 years 1 days ago
2002
ACM
In this paper, we ask if the traditional relational query acceleration techniques of summary tables and covering indexes have analogs for branching path expression queries over tr...
STACS
1999
Springer
15 years 4 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...
115
click to vote
ACMDIS
2010
ACM
15 years 3 days ago
2010
ACM
Street art and political activism have a rich history of shaping urban landscapes. Our work explores the processes by which public artists and political activists contribute to pu...