1332 search results - page 11 / 267 » ideas 2008 |
ENTCS
2008
14 years 9 months ago
2008
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of th...
COMMA
2006
14 years 10 months ago
2006
In the early 20th century, J.H. Wigmore described a new method for analysing and laying out arguments in legal cases. His proposal was the first system of argument diagramming, and...
AIML
2006
14 years 11 months ago
2006
We survey a number of decidablity and undecidablity results concerning epistemic temporal logic. The goal is to provide a general picture which will facilitate the `sharing of idea...
DEXA
2008
Springer
14 years 11 months ago
2008
Springer
The usage of descriptive data mining methods for predictive purposes is a recent trend in data mining research. It is well motivated by the understandability of learned models, the...
76
Voted
ICCCN
2008
IEEE
15 years 3 months ago
2008
IEEE
— Location fingerprinting techniques generally make use of existing wireless network infrastructure. Consequently, the positions of the access points (APs), which constitute an ...