3931 search results - page 489 / 787 » Separation logic and abstraction |
251
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
This paper presents the design, implementation and evaluation of Picasso, a novel radio design that allows simultaneous transmission and reception on separate and arbitrary spectr...
198
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
217
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
204
click to vote
WISE
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Answering a query over a group of RDF data pages is a trivial process. However, in the Semantic Web, there is a need for ontology technology. Consequently, OWL, a family ...
211
click to vote
WISE
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. Approximation has been identified as a potential way of reducing the complexity of logical reasoning. Here we explore approximation for speeding up instance retrieval in...