Sciweavers

3441 search results - page 483 / 689
» Provenance of Software Development Processes
Sort
View
124
Voted
ICIP
2008
IEEE
16 years 5 months ago
Blind forensics of contrast enhancement in digital images
Digital images have seen increased use in applications where their authenticity is of prime importance. This proves to be problematic due to the widespread availability of digital...
Matthew Stamm, K. J. Ray Liu
ICIP
2000
IEEE
16 years 5 months ago
Document Image Matching Based on Component Blocks
Document image matching is the key technique for document registration and retrieval. In this paper, a new matching algorithm based on document component block list and component ...
Hanchuan Peng, Fuhui Long, Wan-Chi Siu, Zheru Chi,...
94
Voted
EACL
2009
ACL Anthology
16 years 4 months ago
A Comparison of Clausal Coordinate Ellipsis in Estonian and German: Remarkably Similar Elision Rules Allow a Language-Independen
We compare the phenomena of clausal coordinate ellipsis in Estonian, a Finno-Ugric language, and German, an Indo-European language. The rules underlying these phenomena appear to ...
Karin Harbusch, Mare Koit, Haldur Oim
127
Voted
FOSSACS
2009
Springer
15 years 10 months ago
Realizability of Concurrent Recursive Programs
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habe...
127
Voted
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
15 years 10 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...