1026 search results - page 103 / 206 » Semantic Components for Timetabling |
135
Voted
JCS
2007
15 years 3 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
146
click to vote
IWPC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—We present an empirical study to statistically analyze the equivalence of several traceability recovery methods based on Information Retrieval (IR) techniques. The analy...
134
click to vote
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
In this work, we address the problem of building recognition across two camera views with large changes in scales and viewpoints. The main idea is to construct a semantically rich...
138
click to vote
ICIW
2009
IEEE
15 years 1 months ago
2009
IEEE
Instance-based ontology mapping comprises a collection of theoretical approaches and applications for identifying the implicit semantic similarities between two ontologies on the ...
111
click to vote
JLP
2011
14 years 6 months ago
2011
A Concurrent Kleene Algebra offers two composition operators, related by a weak version of an exchange law: when applied in a trace model of program semantics, one of them stands...