Sciweavers

674 search results - page 125 / 135
» From Constructibility and Absoluteness to Computability and ...
Sort
View
AAAI
2007
14 years 12 months ago
Concurrent Action Execution with Shared Fluents
Concurrent action execution is important for plan-length minimization. However, action specifications are often limited to avoid conflicts arising from precondition/effect inter...
Michael Buro, Alexander Kovarsky
IJET
2007
121views more  IJET 2007»
14 years 9 months ago
A Technology Based Program That Matches Enrichment Resources With Student Strengths
Remarkable advances in instructional communication technology (ICT) have now made is possible to provide high levels of enrichment and the kinds of curricular differentiation that...
Joseph S. Renzulli, Sally M. Reis
NAR
2011
188views Computer Vision» more  NAR 2011»
14 years 11 days ago
NCBI Epigenomics: a new public resource for exploring epigenomic data sets
The Epigenomics database at the National Center for Biotechnology Information (NCBI) is a new resource that has been created to serve as a comprehensive public resource for whole-...
Ian M. Fingerman, Lee McDaniel, Xuan Zhang, Walter...
87
Voted
PODS
2012
ACM
281views Database» more  PODS 2012»
12 years 12 months ago
Mergeable summaries
We study the mergeability of data summaries. Informally speaking, mergeability requires that, given two summaries on two data sets, there is a way to merge the two summaries into ...
Pankaj K. Agarwal, Graham Cormode, Zengfeng Huang,...
CTRSA
2009
Springer
141views Cryptology» more  CTRSA 2009»
15 years 1 months ago
Practical Short Signature Batch Verification
In many applications, it is desirable to work with signatures that are both short, and yet where many messages from different signers be verified very quickly. RSA signatures sati...
Anna Lisa Ferrara, Matthew Green, Susan Hohenberge...