Sciweavers

1912 search results - page 250 / 383
» On the evaluation of argumentation formalisms
Sort
View
DBSEC
2009
163views Database» more  DBSEC 2009»
15 years 7 months ago
A Trust-Based Access Control Model for Pervasive Computing Applications
With the rapid growth in wireless networks and sensor and mobile devices, we are moving towards an era of pervasive computing. Access control is challenging in these environments. ...
Manachai Toahchoodee, Ramadan Abdunabi, Indrakshi ...
ESWS
2010
Springer
15 years 6 months ago
Efficient Semantic Event Processing: Lessons Learned in User Interface Integration
Abstract. Most approaches to application integration require an unambiguous exchange of events. Ontologies can be used to annotate the events exchanged and thus ensure a common und...
Heiko Paulheim
CORR
2008
Springer
81views Education» more  CORR 2008»
15 years 6 months ago
The Golden Ratio Encoder
This paper proposes a novel Nyquist-rate analog-to-digital (A/D) conversion algorithm which achieves exponential accuracy in the bit-rate despite using imperfect components. The p...
Ingrid Daubechies, C. Sinan Güntürk, Y. ...
DKE
2010
134views more  DKE 2010»
15 years 6 months ago
Combining ontological profiles with context in information retrieval
An ontology is a formal conceptualization of a domain, specifying the concepts of the domain and the relations between them. It is however not a straight forward task to use this ...
Geir Solskinnsbakk, Jon Atle Gulla
IANDC
2006
78views more  IANDC 2006»
15 years 6 months ago
A stable programming language
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
Luca Paolini