7430 search results - page 898 / 1486 » Programming Applications in CIFF |
192
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
182
click to vote
SAT
2007
Springer
16 years 1 months ago
2007
Springer
Unmanned aerial vehicles (UAVs) represent an important class of networked robotic applications that must be both highly dependable and autonomous. This paper addresses sensor deplo...
195
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
One of the main problems of collaborative filtering recommenders is the sparsity of the ratings in the users-items matrix, and its negative effect on the prediction accuracy. This ...
165
click to vote
IMSCCS
2006
IEEE
16 years 1 months ago
2006
IEEE
The computer architecture of Single-chip multiprocessor (SCMP) is one of important research topics in developing the next-generation of computer hardware. A verification environme...
187
click to vote
HASE
2005
IEEE
16 years 1 months ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...