387 search results - page 47 / 78 » A generic topology library |
EOR
2006
14 years 9 months ago
2006
ABSTRACT. We consider equilibrium constrained optimization problems, which have a general formulation that encompasses well-known models such as mathematical programs with equilibr...
178
click to vote
CADE
2011
Springer
13 years 9 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
184
click to vote
ICDE
2005
IEEE
15 years 11 months ago
2005
IEEE
Moving objects databases managing spatial objects with continuously changing position and extent over time have recently found large interest in the database community. Queries ab...
ICAS
2006
IEEE
15 years 3 months ago
2006
IEEE
— The development of applications that target dynamic networks often adresses the same difficulties. Since the underlying network topology is unstable, the application has to ha...
ATS
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, we present a methodology that uses the moments of a generic crosstalk pulse signal to derive upper bounds on the amplitude of crosstalk pulse in arbitrary interconn...