Sciweavers

5009 search results - page 738 / 1002
» Value chain modelling using system dynamics
Sort
View
136
Voted
TARK
1998
Springer
15 years 9 months ago
A Modal Logic of Information Change
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
Joeri Engelfriet, Yde Venema
147
Voted
CORR
2010
Springer
113views Education» more  CORR 2010»
15 years 5 months ago
Traffic Capacity of Large WDM Passive Optical Networks
As passive optical networks (PON) are increasingly deployed to provide high speed Internet access, it is important to understand their fundamental traffic capacity limits. The pape...
Nelson Antunes, Christine Fricker, Philippe Robert...
SAIG
2000
Springer
15 years 8 months ago
Generating Data Analysis Programs from Statistical Models
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
Bernd Fischer 0002, Johann Schumann, Thomas Pressb...
SAC
2009
ACM
15 years 9 months ago
Towards "WYDIWYS" for MIMI using concept analysis
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
Jie Dai, Remo Mueller, Jacek Szymanski, Guo-Qiang ...
AAAI
2008
15 years 6 months ago
Querying Sequential and Concurrent Horn Transaction Logic Programs Using Tabling Techniques
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
Paul Fodor