Sciweavers

2080 search results - page 30 / 416
» Collections, Cardinalities, and Relations
Sort
View
CADE
2010
Springer
15 years 3 months ago
MUNCH - Automated Reasoner for Sets and Multisets
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
Ruzica Piskac, Viktor Kuncak
CORR
2011
Springer
205views Education» more  CORR 2011»
14 years 5 months ago
Algorithms for Implicit Hitting Set Problems
A hitting set for a collection of sets is a set that has a nonempty intersection with each set in the collection; the hitting set problem is to find a hitting set of minimum card...
Karthekeyan Chandrasekaran, Richard Karp, Erick Mo...
MODELS
2010
Springer
15 years 10 days ago
Active Operations on Collections
Abstract. Collections are omnipresent within models: collections of references can represent relations between objects, and collections of values can represent object attributes. C...
Olivier Beaudoux, Arnaud Blouin, Olivier Barais, J...
TJS
2008
105views more  TJS 2008»
15 years 1 months ago
Using a relational database for scalable XML search
XML is a flexible and powerful tool that enables information and security sharing in heterogeneous environments. Scalable technologies are needed to effectively manage the growing...
Rebecca Cathey, Steven M. Beitzel, Eric C. Jensen,...
LREC
2010
170views Education» more  LREC 2010»
15 years 3 months ago
Building a Domain-specific Document Collection for Evaluating Metadata Effects on Information Retrieval
This paper describes the development of a structured document collection containing user-generated text and numerical metadata for exploring the exploitation of metadata in inform...
Walid Magdy, Jinming Min, Johannes Leveling, Garet...