12774 search results - page 233 / 2555 » A Framework for Proof Systems |
157
Voted
ISMIR
2005
Springer
16 years 4 days ago
2005
Springer
In this article we describe an optical recognition system for historic lute tablature prints that we have built with the aid of the Gamera toolkit for document analysis and recogn...
167
click to vote
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
The widespread adoption of embedded microprocessor-based systems for safety critical applications mandates the use of co-design tools able to evaluate system dependability at ever...
165
click to vote
P2P
2007
IEEE
16 years 27 days ago
2007
IEEE
In this paper we propose fully distributed trustbased policies for p2p systems to regulate the exchange of different type of services and discourage misbehaviour. In a system of p...
182
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
Distributed Multi-Agent Systems (DMAS) such as supply chains functioning in highly dynamic environments need to achieve maximum overall utility during operation. The utility from ...