Sciweavers

2661 search results - page 461 / 533
» A Semantics for Abstraction
Sort
View
ACNS
2006
Springer
138views Cryptology» more  ACNS 2006»
15 years 1 months ago
Syntax-Driven Private Evaluation of Quantified Membership Queries
Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inc...
Aggelos Kiayias, Antonina Mitrofanova
CAISE
2006
Springer
15 years 1 months ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
Irina Rychkova, Alain Wegmann
DILS
2004
Springer
15 years 1 months ago
Efficient Techniques to Explore and Rank Paths in Life Science Data Sources
Abstract. Life science data sources represent a complex link-driven federation of publicly available Web accessible sources. A fundamental need for scientists today is the ability ...
Zoé Lacroix, Louiqa Raschid, Maria-Esther V...
CICLING
2006
Springer
15 years 1 months ago
NLP (Natural Language Processing) for NLP (Natural Language Programming)
Abstract. Natural Language Processing holds great promise for making computer interfaces that are easier to use for people, since people will (hopefully) be able to talk to the com...
Rada Mihalcea, Hugo Liu, Henry Lieberman
CIVR
2006
Springer
106views Image Analysis» more  CIVR 2006»
15 years 1 months ago
Video Retrieval Using High Level Features: Exploiting Query Matching and Confidence-Based Weighting
Abstract. Recent research in video retrieval has focused on automated, highlevel feature indexing on shots or frames. One important application of such indexing is to support preci...
Shi-Yong Neo, Jin Zhao, Min-Yen Kan, Tat-Seng Chua