Sciweavers

1736 search results - page 179 / 348
» String Extension Learning
Sort
View
CADE
2008
Springer
16 years 6 months ago
Combining Theorem Proving with Natural Language Processing
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
Björn Pelzer, Ingo Glöckner
261
Voted
VLDB
2008
ACM
147views Database» more  VLDB 2008»
16 years 6 months ago
Providing k-anonymity in data mining
In this paper we present extended definitions of k-anonymity and use them to prove that a given data mining model does not violate the k-anonymity of the individuals represented in...
Arik Friedman, Ran Wolff, Assaf Schuster
PERCOM
2008
ACM
16 years 6 months ago
A tamper-proof and lightweight authentication scheme
We present a tamper-proof and lightweight challenge-response authentication scheme based on 2-level noisy Physically Unclonable Functions (PUF). We present a security reduction, w...
Ghaith Hammouri, Erdinç Öztürk, Berk Sunar
DATE
2007
IEEE
167views Hardware» more  DATE 2007»
16 years 22 days ago
A decomposition-based constraint optimization approach for statically scheduling task graphs with communication delays to multip
We present a decomposition strategy to speed up constraint optimization for a representative multiprocessor scheduling problem. In the manner of Benders decomposition, our techniq...
Nadathur Satish, Kaushik Ravindran, Kurt Keutzer
ITICSE
2000
ACM
15 years 10 months ago
Pedagogical power tools for teaching Java
We describe a Java toolkit that is designed to support the creation of powerful and extensible GUI interfaces during the first year computer science course. The goals of this tool...
Jeff Raab, Richard Rasala, Viera K. Proulx