Sciweavers

3335 search results - page 555 / 667
» Grid result checking
Sort
View
CIIT
2004
104views Communications» more  CIIT 2004»
15 years 5 months ago
Semi-automatic compensation of the propagation delay in fault-tolerant systems
In control systems the jitter is a major problem since in a time-varying system the theoretical results for analysis and design of time-invariant systems cannot be used directly. ...
Thomas Losert, Wilfried Elmenreich, Martin Schlage...
140
Voted
DAGSTUHL
2006
15 years 5 months ago
DecSerFlow: Towards a Truly Declarative Service Flow Language
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
Wil M. P. van der Aalst, Maja Pesic
DLOG
2006
15 years 5 months ago
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ
The novel context of accessing and querying large data repositories through ontologies that are formalized in terms of expressive DLs requires on the one hand to consider query an...
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
DMIN
2006
106views Data Mining» more  DMIN 2006»
15 years 5 months ago
A Medical Claim Fraud/Abuse Detection System based on Data Mining: A Case Study in Chile
This paper describes an effective medical claim fraud/abuse detection system based on data mining used by a Chilean private health insurance company. Fraud and abuse in medical cla...
Pedro A. Ortega, Cristián J. Figueroa, Gonz...
ACL
2003
15 years 5 months ago
A Comparative Study on Reordering Constraints in Statistical Machine Translation
In statistical machine translation, the generation of a translation hypothesis is computationally expensive. If arbitrary wordreorderings are permitted, the search problem is NP-h...
Richard Zens, Hermann Ney