5234 search results - page 919 / 1047 » Method Components - Rationale Revealed |
150
Voted
CIMAGING
2009
15 years 4 months ago
2009
Owing to the stochastic nature of discrete processes such as photon counts in imaging, real-world data measurements often exhibit heteroscedastic behavior. In particular, time ser...
129
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...
165
click to vote
EPEW
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Restricting the power of the schedulers that resolve the nondeterminism in probabilistic concurrent systems has recently drawn the attention of the research community. Th...
124
Voted
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
162
Voted
CRITIS
2009
15 years 4 months ago
2009
Abstract. Global energy generation and delivery systems are transitioning to a new computerized "smart grid". One of the principle components of the smart grid is an adva...