Sciweavers

2907 search results - page 420 / 582
» Presentations of Structures in Admissible Sets
Sort
View
SGAI
2007
Springer
16 years 1 months ago
Evolving a Dynamic Predictive Coding Mechanism for Novelty Detection
Novelty detection is a machine learning technique which identifies new or unknown information in large data sets. We present our current work on the construction of a new novelty...
Simon J. Haggett, Dominique F. Chu, Ian W. Marshal...
CSFW
2006
IEEE
16 years 1 months ago
Resolve-Impossibility for a Contract-Signing Protocol
Abstract. A multi-party contract signing protocol allows a set of participants to exchange messages with each other with a view to arriving in a state in which each of them has a p...
Aybek Mukhamedov, Mark Dermot Ryan
CIKM
2005
Springer
16 years 14 days ago
Access control for XML: a dynamic query rewriting approach
We introduce the notion of views as a mechanism for securing and providing access control in the context of XML. Research in XML has explored several efficient querying mechanism...
Sriram Mohan, Arijit Sengupta, Yuqing Wu
COMPLIFE
2005
Springer
16 years 14 days ago
MAPPIS: Multiple 3D Alignment of Protein-Protein Interfaces
A protein-protein interface (PPI) is defined by a pair of regions of two interacting protein molecules that are linked by non-covalent bonds. Recognition of conserved 3D patterns ...
Alexandra Shulman-Peleg, Maxim Shatsky, Ruth Nussi...
CSL
2005
Springer
16 years 14 days ago
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
Frédéric Blanqui