1604 search results - page 226 / 321 » Development Separation in Lambda-Calculus |
122
click to vote
ISCA
1991
IEEE
15 years 4 months ago
1991
IEEE
We use mean value analysis models to compare representative hardware and software cache coherence schemes for a large-scale shared-memory system. Our goal is to identify the workl...
106
click to vote
DLOG
2007
15 years 2 months ago
2007
In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...
136
Voted
AMDO
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents a framework for view-invariant action recognition in image sequences. Feature-based human detection becomes extremely challenging when the agent is being observ...
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
The paper proposes decentralized deconfliction algorithms deployed on multiple autonomous aerial vehicles in freeflight operations. The paper provides two separate algorithms for ...
84
Voted
AUSDM
2008
Springer
15 years 2 months ago
2008
Springer
Given the threat of re-identification in our growing digital society, guaranteeing privacy while providing worthwhile data for knowledge discovery has become a difficult problem. ...