Sciweavers

2056 search results - page 279 / 412
» Detecting Errors in Spreadsheets
Sort
View
NLPRS
2001
Springer
15 years 9 months ago
The Grammatical Function Analysis between Adnoun Clause and Noun Phrase in Korean
This research focuses on analysis of the grammatical functions between an adnoun clause and a noun phrase in Korean. The key task is to determine the relation between two constitu...
Songwook Lee, Tae-Yeoub Jang, Jungyun Seo
ICC
2000
IEEE
15 years 9 months ago
A Class of Block-Iterative Equalizers for Intersymbol Interference Channels
—A new and efficient class of nonlinear equalizers is developed for intersymbol interference (ISI) channels. These “iterated-decision equalizers” use an optimized multipass a...
Albert M. Chan, Gregory W. Wornell
APLAS
2000
ACM
15 years 9 months ago
A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms
We present a generalized let-polymorphic type inference algorithm, prove that any of its instances is sound and complete with respect to the Hindley/Milner let-polymorphic type sy...
Oukseh Lee, Kwangkeun Yi
BPM
2000
Springer
111views Business» more  BPM 2000»
15 years 9 months ago
A Knowledge-Based Approach for Designing Robust Business Processes
This chapter describes a novel knowledge-based methodology and computer toolset for helping business process designers and participants better manage exceptions (unexpected deviati...
Chrysanthos Dellarocas, Mark Klein
147
Voted
FLOPS
1999
Springer
15 years 9 months ago
Using Types as Approximations for Type Checking Prolog Programs
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
Christoph Beierle, Gregor Meyer