Sciweavers

4123 search results - page 225 / 825
» Multiple Relational Embedding
Sort
View
147
Voted
ECRTS
2003
IEEE
15 years 11 months ago
An Improved Schedulability Test for Uniprocessor Periodic Task Systems
We present a sufficient linear-time schedulability test for preemptable, asynchronous, periodic task systems with arbitrary relative deadlines, scheduled on a uniprocessor by an ...
UmaMaheswari C. Devi
ICALP
2010
Springer
15 years 11 months ago
Compositional Closure for Bayes Risk in Probabilistic Noninterference
We give a quantitative sequential model for noninterference security with probability (but not demonic choice), and a novel refinement order that we prove to be the greatest compo...
Annabelle McIver, Larissa Meinicke, Carroll Morgan
IAT
2009
IEEE
15 years 10 months ago
A Multi Facet Representation of a Fuzzy Ontology Population
This work proposes a system process for extracting automatically a fuzzy ontology from a collection of web resources. The approach exploits the Formal Concept Analysis theory for ...
Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Sab...
ECAI
2006
Springer
15 years 10 months ago
Using Occlusion Calculi to Interpret Digital Images
This paper reports on an investigation using occlusion calculi to interpret digital images. Using a minimal set of digital, region-relation detectors, and assuming a continuous int...
David A. Randell, Mark Witkowski
154
Voted
NAACL
2010
15 years 4 months ago
Reformulating Discourse Connectives for Non-Expert Readers
In this paper we report a behavioural experiment documenting that different lexicosyntactic formulations of the discourse relation of causation are deemed more or less acceptable ...
Advaith Siddharthan, Napoleon Katsos