Sciweavers

4270 search results - page 26 / 854
» A Permutation Approach to Validation
Sort
View
83
Voted
OTM
2007
Springer
15 years 5 months ago
Pattern-Based Design and Validation of Business Process Compliance
In this paper we present a novel approach for the modeling and implementation of Internal Controls in Business Processes. The approach is based on the formal modeling of Internal C...
Kioumars Namiri, Nenad Stojanovic
TCAD
2010
121views more  TCAD 2010»
14 years 6 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
FLAIRS
2004
15 years 1 months ago
Using HCI Experiments to Validate Intelligent Multimedia Cue Generation
This paper presents a case study of our experience conducting HCI experiments to inform multimedia cue generation. We analyze the interrelated HCI and NLG issues that a complete m...
Nancy Green
CISS
2011
IEEE
14 years 3 months ago
On linear processing for dual-hop multi-channel relaying
—In this paper, we consider the amplified-and-forward relaying in a multichannel system with linear processing capability at the relay. We propose an analytical approach to stud...
Min Dong, Mahdi Hajiaghayi, Ben Liang
86
Voted
FLAIRS
2003
15 years 1 months ago
The Rule Retranslation Problem and the Validation Interface
Current rule base maintenance is wasting refinement and inference performance. There are only few maintenance concepts, which enjoy both (1) formal rule refinement and (2) utili...
Hans-Werner Kelbassa, Rainer Knauf