1743 search results - page 121 / 349 » Generalized Modal Satisfiability |
127
click to vote
ICMI
2009
Springer
15 years 10 months ago
2009
Springer
One of many skills required to engage properly in a conversation is to know the appropiate use of the rules of engagement. In order to engage properly in a conversation, a virtual...
107
Voted
DOCENG
2009
ACM
15 years 10 months ago
2009
ACM
We study the analysis problem of XPath expressions with counting constraints. Such expressions are commonly used in document transformations or programs in which they select porti...
121
click to vote
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
132
Voted
HYBRID
2010
Springer
15 years 9 months 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...
117
click to vote
ICMCS
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we specifically propose the Weber-Fechner Law-based human attention model for semantic scene analysis in movies. Different from traditional video processing techniq...