7393 search results - page 996 / 1479 » Synthesis-for-testability using transformations |
169
Voted
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Data provenance is essential in applications such as scientific computing, curated databases, and data warehouses. Several systems have been developed that provide provenance fun...
176
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
Painters and illustrators commonly sketch vanishing points and lines to guide the construction of perspective images. We present a tool that gives users the ability to manipulate ...
170
click to vote
ICCBR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper proposes a fuzzy-rough method of maintaining CaseBased Reasoning (CBR) systems. The methodology is mainly based on the idea that a large case library can be tr...
141
click to vote
LCPC
2001
Springer
15 years 10 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
182
click to vote
SSIAI
2000
IEEE
15 years 10 months ago
2000
IEEE
As IKONOS satellite with 1m-resolution camera has been launched in 1999, mapping using space-borne images will be a hot issue in computer vision area as well as photogrammetry, ma...