Sciweavers

2725 search results - page 373 / 545
» Constraint Solving for Interpolation
Sort
View
177
Voted
ICCS
2005
Springer
15 years 10 months ago
Heuristic Algorithm for Anycast Flow Assignment in Connection-Oriented Networks
Abstract. Replication of content on geographically distributed servers can improve both performance and reliability of the Web service. Anycast is a one-toone-of-many delivery tech...
Krzysztof Walkowiak
HSNMC
2004
Springer
130views Multimedia» more  HSNMC 2004»
15 years 10 months ago
Benefits of Using Ontologies in the Management of High Speed Networks
Network management is an area where many different technologies coexist. Several languages are used to define the information to be managed, which are specific of each management m...
Jorge E. López de Vergara, Víctor A....
HYBRID
2004
Springer
15 years 10 months ago
Constructing Invariants for Hybrid Systems
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
Sriram Sankaranarayanan, Henny Sipma, Zohar Manna
ILP
2004
Springer
15 years 10 months ago
Learning Logic Programs with Annotated Disjunctions
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
Fabrizio Riguzzi
128
Voted
IMR
2004
Springer
15 years 10 months ago
PDE-Based Gradient Limiting for Mesh Size Functions
We propose a new method for limiting the gradients in a mesh size function by solving a non-linear partial differential equation on the background mesh. Our gradient limiting Ham...
Per-Olof Persson