12774 search results - page 2425 / 2555 » A Framework for Proof Systems |
184
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
Distributed Constraint Optimization (DCOP) is a general framework that can model complex problems in multi-agent systems. Several current algorithms that solve general DCOP instan...
191
click to vote
CIA
2007
Springer
16 years 20 days ago
2007
Springer
Trust learning is a crucial aspect of information exchange, negotiation, and any other kind of social interaction among autonomous agents in open systems. But most current probabil...
181
click to vote
ECTEL
2007
Springer
16 years 20 days ago
2007
Springer
Currently national digital library of educational resources and services (DLE) for primary and secondary education is under implementation in Lithuania. The article aims to analyse...
156
click to vote
GI
2007
Springer
2007
Springer
Informationsextraktion durch Verwendung Computerlinguistischer Verfahren in Texten mit Makrostruktur
16 years 20 days ago
Abstract: In diesem Beitrag wird ein System vorgestellt, mit dem semistrukturierte militärische Aufklärungsmeldungen analysiert werden können, um ontologiegestützt ein automati...
189
click to vote
HIPEAC
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Network processors are programmable devices that can process packets at a high speed. A network processor is typified by multithreading and heterogeneous multiprocessing...