334 search results - page 60 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
127
click to vote
ICIP
2003
IEEE
16 years 5 months ago
2003
IEEE
Changes in the angle of illumination incident upon a 3D surface texture can significantly alter its appearance, implying variations in the image texture. These texture variations ...
127
Voted
RECSYS
2010
ACM
15 years 4 months ago
2010
ACM
Since the development of the comparably simple neighborhood-based methods in the 1990s, a plethora of techniques has been developed to improve various aspects of collaborative fil...
148
click to vote
JAR
2000
15 years 3 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
238
Voted
ISLPED
2005
ACM
15 years 9 months ago
2005
ACM
In this paper, we take the idea of application-level processing on disks to one level further, and focus on an architecture, called Cluster of Active Disks (CAD), where the storag...
121
click to vote
RECONFIG
2009
IEEE
15 years 10 months ago
2009
IEEE
BLASTn is a ubiquitous tool used for large scale DNA analysis. Detailed profiling tests reveal that the most computationally intensive sections of the BLASTn algorithm are the sc...