Sciweavers

1413 search results - page 61 / 283
» Bisimilarity of Open Terms
Sort
View
102
Voted
TKDE
2010
135views more  TKDE 2010»
14 years 11 months ago
A Rule-Based Trust Negotiation System
—Open distributed environments such as the World Wide Web facilitate information sharing but provide limited support to the protection of sensitive information and resources. Tru...
Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedil...
ISCAS
2011
IEEE
288views Hardware» more  ISCAS 2011»
14 years 4 months ago
Complexity-constrained rate-distortion optimization for h.264/avc video coding
In order to enable real-time software-based video encoding, in this work we optimized the prediction stage of an H.264 video encoder, in the complexity sense. Thus, besides lookin...
Tiago A. da Fonseca, Ricardo L. de Queiroz
141
Voted
AGI
2011
14 years 4 months ago
Nonlinear-Dynamical Attention Allocation via Information Geometry
Inspired by a broader perspective viewing intelligent system dynamics in terms of the geometry of “cognitive spaces,” we conduct a preliminary investigation of the application ...
Matthew Iklé, Ben Goertzel
117
Voted
CSCW
2012
ACM
13 years 8 months ago
Building for social translucence: a domain analysis and prototype system
The relationships and work that facilitate content creation in large online contributor system are not always visible. Social translucence is a stance toward the design of systems...
David W. McDonald, Stephanie Gokhman, Mark Zachry
131
Voted
POPL
2012
ACM
13 years 8 months ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni