268 search results - page 26 / 54 » Expressive Power of Grammatical Formalisms |
DAGSTUHL
1998
14 years 11 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
104
click to vote
LICS
2007
IEEE
15 years 3 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
WWW
2001
ACM
15 years 10 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
101
click to vote
CONCUR
2007
Springer
15 years 3 months ago
2007
Springer
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...
ECCV
2008
Springer
15 years 11 months ago
2008
Springer
Video streams are ubiquitous in applications such as surveillance, games, and live broadcast. Processing and analyzing these data is challenging because algorithms have to be effic...