Sciweavers

1519 search results - page 74 / 304
» The Domain Dependence of Parsing
Sort
View
OTM
2010
Springer
15 years 4 months ago
Collaborative Coordination of Activities with Temporal Dependencies
Business process management and systems have been proven mature and highly beneficial in many domains. Recent surveys by leading market analysts say that the next challenge for BPM...
Jörn Franke, François Charoy, Paul El ...
MT
2002
297views more  MT 2002»
15 years 6 months ago
MARS: A Statistical Semantic Parsing and Generation-Based Multilingual Automatic tRanslation System
We present MARS (Multilingual Automatic tRanslation System), a research prototype speech-to-speech translation system. MARS is aimed at two-way conversational spoken language trans...
Yuqing Gao, Bowen Zhou, Zijian Diao, Jeffrey S. So...
ICIP
2000
IEEE
16 years 8 months ago
Analysis of Interscale and Intrascale Dependencies between Image Wavelet Coefficients
We develop an information?theoretic analysis of dependencies between image wavelet coefficients. The dependencies are measured using mutual information, which has a direct link wi...
Juan Liu, Pierre Moulin
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 16 days ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
CSL
2000
Springer
15 years 10 months ago
Continuous Functionals of Dependent Types and Equilogical Spaces
We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent pro...
Andrej Bauer, Lars Birkedal