Sciweavers

4451 search results - page 515 / 891
» On Random Ordering Constraints
Sort
View
NMR
2004
Springer
16 years 3 days ago
Frame consistency: computing with causal explanations
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
Andrea Bracciali, Antonis C. Kakas
EDOC
2003
IEEE
16 years 1 days ago
MQL: a Powerful Extension to OCL for MOF Queries
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
David Hearnden, Kerry Raymond, Jim Steel
ICALT
2003
IEEE
16 years 1 days ago
Completing LOM - How Additional Axioms Increase the Utility of Learning Object Metadata
Learning Objects Metadata describing educational resources in order to allow better reusability and retrieval. Unfortunately, annotating complete courses thoroughly with LOM metad...
Jan Brase, Mark Painter, Wolfgang Nejdl
INFOCOM
2003
IEEE
16 years 1 days ago
Increasing the Robustness of IP Backbones in the Absence of Optical Level Protection
— There are two fundamental technology issues that challenge the robustness of IP backbones. First, SONET protection is gradually being removed because of its high cost (while SO...
Frédéric Giroire, Antonio Nucci, Nin...
RSP
2003
IEEE
132views Control Systems» more  RSP 2003»
16 years 1 days ago
Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Arun Kejariwal, Nikil Dutt