Sciweavers

2364 search results - page 319 / 473
» On O-Minimal Hybrid Systems
Sort
View
KIVS
2005
Springer
16 years 1 days ago
An Integrated Simulator for Inter-Domain Scenarios
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...
Matthias Scheidegger, Florian Baumgartner, Torsten...
IFL
2003
Springer
167views Formal Methods» more  IFL 2003»
15 years 11 months ago
A Functional Shell That Dynamically Combines Compiled Code
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
Arjen van Weelden, Rinus Plasmeijer
VISUALIZATION
2002
IEEE
15 years 11 months ago
Tensor Field Visualisation using Adaptive Filtering of Noise Fields combined with Glyph Rendering
While many methods exist for visualising scalar and vector data, visualisation of tensor data is still troublesome. We present a method for visualising second order tensors in thr...
Andreas Sigfridsson, Tino Ebbers, Einar Heiberg, L...
HAIS
2009
Springer
15 years 11 months ago
Economic Load Dispatch Using a Chemotactic Differential Evolution Algorithm
This paper presents a novel stochastic optimization approach to solve constrained economic load dispatch (ELD) problem using Hybrid Bacterial Foraging-Differential Evolution optimi...
Arijit Biswas, Sambarta Dasgupta, Bijaya K. Panigr...
CIKM
2009
Springer
15 years 10 months ago
Multidimensional routing indices for efficient distributed query processing
Traditional routing indices in peer-to-peer (P2P) networks are mainly designed for document retrieval applications and maintain aggregated one-dimensional values representing the ...
Christos Doulkeridis, Akrivi Vlachou, Kjetil N&osl...