2725 search results - page 373 / 545 » Constraint Solving for Interpolation |
177
Voted
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
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...
135
click to vote
HSNMC
2004
Springer
15 years 10 months ago
2004
Springer
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...
139
click to vote
HYBRID
2004
Springer
15 years 10 months ago
2004
Springer
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...
148
click to vote
ILP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
128
Voted
IMR
2004
Springer
15 years 10 months ago
2004
Springer
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...