1413 search results - page 83 / 283 » A new condensation principle |
WWW
2009
ACM
14 years 5 months ago
2009
ACM
Most of the approaches for dealing with uncertainty in the Semantic Web rely on the principle that this uncertainty is already asserted. In this paper, we propose a new approach t...
FM
2009
Springer
14 years 4 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
The US Military’s ability to meet its mission critical requirements calls for increased agility in its information technology development process. The purpose of this case study...
SMC
2007
IEEE
14 years 4 months ago
2007
IEEE
Role-based collaboration (RBC) is proposed to support people’s collaboration with more usable human-computer interfaces. To approach the objectives of RBC, new practical tools a...
IH
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper draws together two methodologies for the detection of bit replacement steganography: the principle of maximum likelihood, which is statistically well-founded b...