Sciweavers

3379 search results - page 32 / 676
» Combinators for Interaction Nets
Sort
View
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
13 years 7 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
MSE
2000
IEEE
165views Hardware» more  MSE 2000»
14 years 2 months ago
JACIE - an Authoring Language for Rapid Prototyping Net-Centric, Multimedia and Collaborative Applications
With continuous acceptance of World Wide Web (WWW) as a de facto standard for human-computer interaction and human-human communication, it is desirable to develop net-centric, mul...
Abdul S. Haji-Ismail, Min Chen, Phil W. Grant, Mar...
CONTEXT
2007
Springer
14 years 3 months ago
Opinion Nets for Reasoning with Uncertain Context Information
Abstract. Context-aware systems must be able to deal with uncertain context information. We propose a generic context architecture and representation that incorporates the uncertai...
Yves Vanrompay, Yolande Berbers
CHI
2010
ACM
14 years 4 months ago
ManyNets: an interface for multiple network analysis and visualization
Traditional network analysis tools support analysts in studying a single network. ManyNets offers these analysts a powerful new approach that enables them to work on multiple netw...
Manuel Freire, Catherine Plaisant, Ben Shneiderman...
NPL
2000
138views more  NPL 2000»
13 years 9 months ago
Neural Net Based Hybrid Modeling of the Methanol Synthesis Process
A Hybrid modeling approach, combining an analytical model with a radial basis function neural network is introduced in this paper. The modeling procedure is combined with genetic a...
Primoz Potocnik, Igor Grabec, Marko Setinc, Janez ...