Sciweavers

5689 search results - page 131 / 1138
» A Performance Process Maturity Model
Sort
View
TOPNOC
2008
15 years 4 months ago
TAPAs: A Tool for the Analysis of Process Algebras
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
Francesco Calzolai, Rocco De Nicola, Michele Loret...
ICIP
2003
IEEE
15 years 10 months ago
A general framework for designing image processing algorithms for coherent polarimetric images
We describe a general framework to design optimal image processing algorithms for polarimetric images formed with coherent radiations, which can be optical or microwave. Starting ...
François Goudail, Frédéric Ga...
ICC
2007
IEEE
108views Communications» more  ICC 2007»
15 years 11 months ago
Subspace Methods for Network Resource Reservation Coding Processes
—This paper presents a mathematical framework for resource reservation in TCP/IP networks by invoking a dynamic system viewpoint on the congestion monitoring processes occurring ...
Alexandru Murgu
WECWIS
2008
IEEE
361views ECommerce» more  WECWIS 2008»
15 years 11 months ago
How to Describe Workflow Information Systems to Support Business Process
This paper addresses a methodology for developing the various user interfaces (UI) of a workflow information system (WIS), which are advocated to automate business processes, foll...
Josefina Guerrero García, Jean Vanderdonckt...
EACL
2006
ACL Anthology
15 years 6 months ago
Edit Machines for Robust Multimodal Language Processing
Multimodal grammars provide an expressive formalism for multimodal integration and understanding. However, handcrafted multimodal grammars can be brittle with respect to unexpecte...
Srinivas Bangalore, Michael Johnston