1054 search results - page 132 / 211 » Guarded Expressions in Practice |
167
click to vote
LPNMR
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
169
click to vote
MFCS
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
144
click to vote
SIGGRAPH
2009
ACM
16 years 15 days ago
2009
ACM
While it seems that interdisciplinary collaboration in a visualization course is (theoretically) a very good idea, the practical undergoing is problematic: in a single semester co...
164
Voted
HYBRID
2010
Springer
16 years 14 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
164
click to vote
CSFW
2008
IEEE
16 years 13 days ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...