5699 search results - page 962 / 1140 » Alternating model trees |
165
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
192
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
Abstract: Today, most Internet applications still establish user authentication with traditional text based passwords. Designing a secure as well as a user-friendly password-based ...
176
click to vote
AVSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Tracking humans in an indoor environment is an essential part of surveillance systems. Vision based and microphone array based trackers have been extensively researched in the pas...
167
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
—Large scale production grids are a major case for autonomic computing. Following the classical definition of Kephart, an autonomic computing system should optimize its own beha...
180
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we study the modelling of consensus reaching in a ‘soft’ environment, i.e. when the individual testimonies are expressed as fuzzy preference relations. Here cons...