3760 search results - page 687 / 752 » Logic-Based Probabilistic Modeling |
114
click to vote
ENTCS
2008
15 years 3 months ago
2008
Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...
127
click to vote
ENTCS
2006
15 years 3 months ago
2006
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
142
click to vote
COMCOM
2007
15 years 3 months ago
2007
To obtain a satisfied performance of wireless sensor network, an adaptable sensor deployment method for various applications is essential. In this paper, we propose a centralized ...
118
Voted
IJISTA
2006
15 years 3 months ago
2006
In this paper a method for extraction of mid-level semantics from sign language videos is proposed, by employing high level domain knowledge. The semantics concern labeling of the ...
126
Voted
JPDC
2008
15 years 3 months ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...