Sciweavers

2253 search results - page 256 / 451
» An Approach to Specifying Software Frameworks
Sort
View
DNIS
2010
Springer
240views Database» more  DNIS 2010»
15 years 8 months ago
AccKW: An Efficient Access Control Scheme for Keyword-Based Search over RDBMS
Access control for relational databases is a well researched area. An SQL query is allowed or denied access to database according to the specified access control policy. On the oth...
Vikram Goyal, Ashish Sureka, Sangeeta Lal
AIPS
2006
15 years 6 months ago
Metatheoretic Plan Summarization and Comparison
We describe a domain-independent framework for plan summarization and comparison that can help a human understand both the key elements of an individual plan and important differe...
Karen L. Myers
AAAI
1996
15 years 6 months ago
Agent Amplified Communication
We propose an agent-based framework for assisting and simplifying person-to-person communication for information gathering tasks. As an example, we focus on locating experts for a...
Henry A. Kautz, Bart Selman, Al Milewski
CORR
2010
Springer
151views Education» more  CORR 2010»
15 years 4 months ago
Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
Zachary Snow, David Baelde, Gopalan Nadathur
145
Voted
EMNLP
2010
15 years 2 months ago
Function-Based Question Classification for General QA
In contrast with the booming increase of internet data, state-of-art QA (question answering) systems, otherwise, concerned data from specific domains or resources such as search e...
Fan Bu, Xingwei Zhu, Yu Hao, Xiaoyan Zhu