2714 search results - page 317 / 543 » Under the table interaction |
158
click to vote
LAWEB
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Recent progress in research fields such as Information Extraction and Information Retrieval enables the creation of systems providing better search experiences to web u...
138
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
146
Voted
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
A Brain-Computer Interface (BCI) application focused on the control of a wheelchair must consider the danger which a wrong command would involve in a real situation. Virtual realit...
142
Voted
MKM
2009
Springer
15 years 11 months ago
2009
Springer
Graphical languages provide a powerful tool for describing the behaviour of quantum systems. While the use of graphs vastly reduces the complexity of many calculations [4,10], manu...
110
click to vote
POLICY
2009
Springer
15 years 11 months ago
2009
Springer
This paper addresses an important open problem confronting any decentralized and stateful access control (AC) mechanism for networked systems, particularly when the system at hand...