4880 search results - page 796 / 976 » Mechanism Design by Creditability |
119
click to vote
ENTCS
2007
15 years 4 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
142
Voted
NECO
2008
15 years 4 months ago
2008
While evidence indicates that neural systems may be employing sparse approximations to represent sensed stimuli, the mechanisms underlying this ability are not understood. We desc...
147
Voted
NETWORK
2008
15 years 4 months ago
2008
Admission control plays a very important role in wireless systems, as it is one of the basic mechanisms for ensuring the quality of service offered to users. Based on the availabl...
140
Voted
FGCS
2007
15 years 4 months ago
2007
Grid computing is a newly developed technology for complex systems with large-scale resource sharing and multi-institutional collaboration. The prominent feature of grid computing...
160
click to vote
MVA
2006
15 years 4 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...