5692 search results - page 58 / 1139 » Challenges and Unsolved Problems |
108
Voted
ICEIS
2007
IEEE
15 years 10 months ago
2007
IEEE
Business process analysis ranges from model verification at design-time to the monitoring of processes at run-time. Much progress has been achieved in process verification. Today...
128
Voted
DAC
2005
ACM
15 years 5 months ago
2005
ACM
Logic soft errors are radiation induced transient errors in sequential elements (flip-flops and latches) and combinational logic. Robust enterprise platforms in sub-65nm technolog...
171
Voted
SIGMOD
2008
ACM
15 years 3 months ago
2008
ACM
Provenance in the context of workflows, both for the data they derive and for their specification, is an essential component to allow for result reproducibility, sharing, and know...
158
Voted
JGAA
2007
15 years 3 months ago
2007
Graphs are an extremely general and powerful data structure. In pattern recognition and computer vision, graphs are used to represent patterns to be recognized or classified. Det...
127
Voted
IR
2000
15 years 3 months ago
2000
: Previous research in conceptual indexing methods of images has furnished us with refined theoretical frameworks characterising various aspects of images that could and should be ...