3172 search results - page 206 / 635 » Combining Specification Techniques for Processes, Data and T... |
165
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Data correlation is a well-known problem that causes difficulty in VLSI testing. Based on a correlation metric, an efficient heuristic to select BIST registers has been proposed...
304
click to vote
ICDE
2005
IEEE
16 years 8 months ago
2005
IEEE
The ability to compute top-k matches to XML queries is gaining importance due to the increasing number of large XML repositories. The efficiency of top-k query evaluation relies o...
183
click to vote
WSC
2008
15 years 9 months ago
2008
This paper presents first steps towards the development of a formal model of the research process. We evaluate the use of simulation as a tool for the evaluation of research strat...
165
click to vote
CMPB
2010
15 years 6 months ago
2010
A large number of algorithms have been developed to perform non-rigid registration and it is a tool commonly used in medical image analysis. The FreeForm Deformation algorithm is ...
187
click to vote
ENC
2004
IEEE
15 years 10 months ago
2004
IEEE
Discovering patterns or frequent episodes in transactions is an important problem in data-mining for the purpose of infering deductive rules from them. Because of the huge size of...