26472 search results - page 5057 / 5295 » Interactive |
140
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
156
Voted
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
141
click to vote
CIA
2006
Springer
15 years 8 months ago
2006
Springer
Imagine a future environment where networks of agents - people, robots and software agents - interact with sophisticated sensor grids and environmental actuators to provide advice,...
154
click to vote
CIKM
2006
Springer
15 years 8 months ago
2006
Springer
With ever growing competition in telecommunications markets, operators have to increasingly rely on business intelligence to offer the right incentives to their customers. Toward ...
173
click to vote
ENC
2004
IEEE
15 years 8 months ago
2004
IEEE
Hidden Markov models have become the preferred technique for visual recognition of human gestures. However, the recognition rate depends on the set of visual features used, and al...