4341 search results - page 686 / 869 » Quantitative Model checking |
176
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
167
click to vote
IV
2009
IEEE
2009
IEEE
Beyond Knowledge Visualization Usability: Toward a Better Understanding of Business Diagram Adoption
16 years 1 months ago
Information visualization research typically focuses on the formal aspects of specific graphic solutions in terms of their thinking and/or communication support. This type of anal...
171
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Research into large-scale distributed systems often relies on the use of simulation frameworks in order to bypass the disadvantages of performing experiments on real testbeds. SimG...
182
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
We present the first report of automatic sentiment summarization in the legal domain. This work is based on processing a set of legal questions with a system consisting of a semi...
171
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
Throughout its history, AI researchers have alternatively seen their mission as producing computer behavior that is indistinguishable from that of humans or as providing computati...