2786 search results - page 348 / 558 » A Practical Technique for Process Abstraction |
185
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Identifying highlights in multimedia content such as video and audio is currently a very difficult technical problem. We present and evaluate a novel algorithm that identifies hig...
165
click to vote
ATS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—SAT-based ATPG turned out to be a robust alternative to classical structural ATPG algorithms such as FAN. The number of unclassified faults can be significantly reduce...
196
click to vote
ADBIS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In moving object databases, many authors assume that number and position of objects to be processed are always known in advance. Detecting an unknown moving object and pu...
159
click to vote
AIIA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The huge volume of gene expression data produced by microarrays and other high-throughput techniques has encouraged the development of new computational techniques to eva...
167
click to vote
TOOLS
2008
IEEE
16 years 28 days ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...