Sciweavers

1075 search results - page 122 / 215
» The QUANTUM Question Answering System
Sort
View
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
15 years 10 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
CDC
2008
IEEE
141views Control Systems» more  CDC 2008»
16 years 23 days ago
Distributed welfare games with applications to sensor coverage
We consider a variation of the resource allocation problem. In the traditional problem, there is a global planner who would like to assign a set of players to a set of resources s...
Jason R. Marden, Adam Wierman
FC
1998
Springer
96views Cryptology» more  FC 1998»
15 years 10 months ago
Compliance Checking in the PolicyMaker Trust Management System
Emerging electronic commerce services that use public-key cryptography on a mass-market scale require sophisticated mechanisms for managing trust. For example, any service that rec...
Matt Blaze, Joan Feigenbaum, Martin Strauss
WCRE
2006
IEEE
16 years 9 days ago
Extracting Change-patterns from CVS Repositories
Often, the only sources of information about the evolution of software systems are the systems themselves and their histories. Version control repositories contain information on ...
Salah Bouktif, Yann-Gaël Guéhén...
ERCIMDL
2006
Springer
108views Education» more  ERCIMDL 2006»
15 years 10 months ago
The Use of Summaries in XML Retrieval
Abstract. The availability of the logical structure of documents in contentoriented XML retrieval can be beneficial for users of XML retrieval systems. However, research into struc...
Zoltán Szlávik, Anastasios Tombros, ...