Sciweavers

999 search results - page 19 / 200
» Structured modeling for processes: A thermodynamical network...
Sort
View
FCS
2006
13 years 9 months ago
Algorithmic Control in Concurrent Computations
: In this paper, functioning and interaction of distributed devices and concurrent algorithms are analyzed in the context of the theory of algorithms. Although different systems in...
Mark Burgin
SIGIR
2002
ACM
13 years 7 months ago
Video retrieval using an MPEG-7 based inference network
This work proposes a model for video retrieval based upon the inference network model. The document network is constructed using video metadata encoded using MPEG-7 and captures i...
Andrew Graves, Mounia Lalmas
IFIP
2004
Springer
14 years 1 months ago
New-HOPLA: A Higher-order Process Language with Name Generation
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
Glynn Winskel, Francesco Zappa Nardelli
CCE
2008
13 years 7 months ago
Optimal synthesis of heat exchanger networks involving isothermal process streams
This paper proposes a new MINLP model for heat exchanger network synthesis that includes streams with phase change. The model considers every possible combination of process strea...
José María Ponce-Ortega, Arturo Jim&...
KCAP
2011
ACM
12 years 10 months ago
Eliciting hierarchical structures from enumerative structures for ontology learning
Some discourse structures such as enumerative structures have typographical, punctuational and laying out characteristics which (1) make them easily identifiable and (2) convey hi...
Mouna Kamel, Bernard Rothenburger