Sciweavers

4979 search results - page 554 / 996
» A strategy for knowledge management
Sort
View
167
Voted
HOLOMAS
2003
Springer
16 years 15 days ago
Agent Exchange - Virtual Trading Environment
Agent Exchange is a virtual trading environment serving as a test bed for experiments with market simulations, trading strategies and auctioning techniques. Agent Exchange is the d...
Jirí Hodík, Milan Rollo, Petr Nov&aa...
CSE
2009
IEEE
16 years 13 min ago
Social Learning Applications in Resource Constrained Networks
Efficient design of social networking applications must take account of two guiding principles: the adaptive processes by which humans learn and spread new information, and the co...
Ali Saidi, Mahesh V. Tripunitara, Mojdeh Mohtashem...
KI
2009
Springer
15 years 12 months ago
Semi-automatic Creation of Resources for Spoken Dialog Systems
The increasing number of spoken dialog systems calls for efficient approaches for their development and testing. Our goal is the minimization of hand-crafted resources to maximize ...
Tatjana Scheffler, Roland Roller, Norbert Reithing...
176
Voted
WEBI
2009
Springer
15 years 11 months ago
Collaborative Semantic Structuring of Folksonomies
The advent of tagging and folksonomies for organizing shared resources on the social Web brought promising opportunities to help communities of users capture their knowledge. Howe...
Freddy Limpens, Fabien L. Gandon, Michel Buffa
LOPSTR
2001
Springer
15 years 11 months ago
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
Giorgio Delzanno, Sandro Etalle