399 search results - page 57 / 80 » Efficient Model Checking Using Tabled Resolution |
91
Voted
SPRINGSIM
2008
15 years 3 months ago
2008
Programmable graphics processing units (GPUs) have emerged as excellent computational platforms for certain general-purpose applications. The data parallel execution capabilities ...
109
Voted
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
In order for recognition systems to scale to a larger number of object categories building visual class taxonomies is important to achieve running times logarithmic in the number o...
117
click to vote
CTRSA
2008
Springer
15 years 4 months ago
2008
Springer
We present a study of several fault attacks against the block cipher IDEA. Such a study is particularly interesting because of the target cipher's specific property to employ ...
133
click to vote
TFS
2008
15 years 2 months ago
2008
When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper, we propose a framework to represent, compute, and re...
115
Voted
BCSHCI
2008
15 years 3 months ago
2008
Although approaches to User Centered Software Development have existed for almost 20 years a rift still exists between theory and practice. In practice, many software projects are...