Sciweavers

2841 search results - page 62 / 569
» A Call to Order
Sort
View
ICC
2007
IEEE
16 years 7 days 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
16 years 3 days 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 11 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
15 years 7 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 9 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