2203 search results - page 209 / 441 » Temporal Abstract Interpretation |
154
click to vote
LFCS
2007
Springer
15 years 10 months ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
115
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
125
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
Information technology research has played a significant role in the high-throughput acquisition and analysis of biological information. The tremendous amount of information gath...
123
click to vote
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
We propose a Web recommendation system based on a maximum entropy model. Under the maximum entropy principle, we can combine multiple levels of knowledge about users’ navigation...
121
click to vote
GW
2005
Springer
15 years 9 months ago
2005
Springer
This work proposes a new way for providing feedback to expressivity in music performance. Starting from studies on the expressivity of music performance we developed a system in wh...