Sciweavers

1416 search results - page 47 / 284
» An Exact Interpretation of While
Sort
View
NN
2008
Springer
101views Neural Networks» more  NN 2008»
13 years 10 months ago
On multidimensional scaling and the embedding of self-organising maps
The self-organising map (SOM) and its variant, visualisation induced SOM (ViSOM), have been known to yield similar results to multidimensional scaling (MDS). However, the exact co...
Hujun Yin
TC
2008
13 years 9 months ago
Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs
Multimedia applications usually have throughput constraints. An implementation must meet these constraints, while it minimizes resource usage and energy consumption. The compute in...
Sander Stuijk, Marc Geilen, Twan Basten
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
13 years 5 months ago
Hybrid moment computation algorithm for biochemical reaction networks
Moment computation is essential to the analysis of stochastic kinetic models of biochemical reaction networks. It is often the case that the moment evolution, usually the first and...
Yun-Bo Zhao, Jongrae Kim, João Pedro Hespan...
CONCUR
2005
Springer
14 years 3 months ago
Type-Directed Concurrency
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
Deepak Garg, Frank Pfenning
SGAI
2005
Springer
14 years 3 months ago
Experience with Ripple-Down Rules
Ripple-Down Rules (RDR) is an approach to building knowledgebased systems (KBS) incrementally, while the KBS is in routine use. Domain experts build rules as a minor extension to ...
Paul Compton, Lindsay Peters, Glenn Edwards, Tim G...