Sciweavers

2841 search results - page 62 / 569
» A Call to Order
Sort
View
ICC
2007
IEEE
15 years 4 months ago
QoS-aware Wavelength Assignment with BER and Latency Guarantees for Crosstalk Limited Networks
— Crosstalk originating from optical switching devices and demultiplexers can be the dominant physical impairment in large all-optical networks. When a centralized network contro...
Jun He, Maïté Brandt-Pearce, Charles L...
ESOP
2007
Springer
15 years 4 months ago
Interprocedurally Analysing Linear Inequality Relations
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
Helmut Seidl, Andrea Flexeder, Michael Petter
SEMWEB
2005
Springer
15 years 3 months ago
Preferential Reasoning on a Web of Trust
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
IJCAI
1993
14 years 11 months ago
Automated Trend Detection with Alternate Temporal Hypotheses
We have written a prototype computer program called TrenDx for automated trend detection during process monitoring. The program uses a representation called trend templates that d...
Ira J. Haimowitz, Isaac S. Kohane
ICDT
1995
ACM
105views Database» more  ICDT 1995»
15 years 1 months ago
Datalog Queries of Set Constraint Databases
Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the ...
Peter Z. Revesz