Sciweavers

2436 search results - page 86 / 488
» Comonadic Notions of Computation
Sort
View
CIE
2007
Springer
15 years 7 months ago
K -Trivial Closed Sets and Continuous Functions
We investigate the notion of K-triviality for closed sets and continuous functions. Every K-trivial closed set contains a K-trivial real. There exists a K-trivial 0 1 class with no...
George Barmpalias, Douglas A. Cenzer, Jeffrey B. R...
CCS
2006
ACM
15 years 7 months ago
Safety and consistency in policy-based authorization systems
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
Adam J. Lee, Marianne Winslett
ICPR
2000
IEEE
16 years 4 months ago
Image Representational Model for Predicting Visual Distinctness of Objects
Here we show that a notion of congruence in statistical structureacross2 0frequency bandsproduces a useful definition of visualpatterns for perceiving target distinctness. In orde...
J. Chamorro, Javier Martinez-Baena, Rosa Rodriguez...
ISPAN
2009
IEEE
15 years 10 months ago
SoCQ: A Framework for Pervasive Environments
Abstract—Querying non-conventional data sources is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is...
Yann Gripay, Frédérique Laforest, Je...
IHM
2004
ACM
15 years 9 months ago
Couplage de ressources d'interaction
Although coupling interaction resources is key to ubiquitous computing, this notion has been overlooked in previous studies. In this paper, we address this notion in a more system...
Nicolas Barralon, Christophe Lachenal, Joëlle...