Sciweavers

2025 search results - page 95 / 405
» On the Utility of Inference Mechanisms
Sort
View
COBUILD
1999
Springer
14 years 1 months ago
Passage: Physical Transportation of Digital Information in Cooperative Buildings
The Passage mechanism introduced in this paper provides an easy and intuitive way to transport various types of digital objects by using also normal physical objects without any sp...
Shin'ichi Konomi, Christian Müller-Tomfelde, ...
FM
1999
Springer
97views Formal Methods» more  FM 1999»
14 years 1 months ago
Sensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
Brendan P. Mahony, Jin Song Dong
ATAL
2010
Springer
13 years 10 months ago
Internal implementation
We introduce a constrained mechanism design setting called internal implementation, in which the mechanism designer is explicitly modeled as a player in the game of interest. This...
Ashton Anderson, Yoav Shoham, Alon Altman
DKE
2008
100views more  DKE 2008»
13 years 9 months ago
PeRSSonal's core functionality evaluation: Enhancing text labeling through personalized summaries
In this manuscript we present the summarization and categorization subsystems of a complete mechanism that begins with web-page fetching and concludes with representation of the c...
Christos Bouras, Vassilis Poulopoulos, Vassilis Ts...
COMCOM
2006
98views more  COMCOM 2006»
13 years 9 months ago
On the fairness of dynamic bandwidth allocation schemes in Ethernet passive optical networks
Ethernet passive optical networks (EPONs) technology has emerged as a promising candidate for next-generation broadband access networks. As this technology evolves, the developmen...
Xiaofeng Bai, Abdallah Shami, Chadi Assi