Sciweavers

896 search results - page 34 / 180
» Stepwise Refinement of Processes
Sort
View
ECBS
2000
IEEE
84views Hardware» more  ECBS 2000»
14 years 2 months ago
Issues in Defining, Analyzing, Refining, and Specifying System Dependability Requirements
Requirements specification has long been acknowledged as an area for further research in the development of systems, particularly for those that are computer based. In addition, a...
Bonnie E. Melhart, Stephanie White
EMNLP
2008
13 years 11 months ago
Refining Generative Language Models using Discriminative Learning
We propose a new approach to language modeling which utilizes discriminative learning methods. Our approach is an iterative one: starting with an initial language model, in each i...
Ben Sandbank
CAISE
2004
Springer
14 years 3 months ago
Multi-Paradigm Process Management
Automation and integration of business processes are at the heart of contemporary enterprise systems. In the pursuit of this goal, process automation technology is employed at vary...
Michael zur Muehlen, Michael Rosemann
APLAS
2008
ACM
13 years 11 months ago
Game Characterizations of Process Equivalences
In this paper we propose a hierarchy of games that allows us to make a systematic comparison of process equivalences by characterizing process equivalences as games. The well-known...
Xin Chen, Yuxin Deng
AIML
2000
13 years 11 months ago
Towards a Many-Dimensional Modal Logic for Semantic Processing
Notions of context for natural language interpretation are factored in terms of three processes: translation, entailment and attunement. The processes are linked by accessibility r...
Tim Fernando