7988 search results - page 1054 / 1598 » A Useful Undecidable Theory |
196
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
Most commonly used inductive rule learning algorithms employ a hill-climbing search, whereas local pattern discovery algorithms employ exhaustive search. In this paper, we evaluat...
203
click to vote
EUROSYS
2009
ACM
16 years 4 months ago
2009
ACM
This paper develops analytical models to predict the throughput and the response time of a replicated database using measurements of the workload on a standalone database. These m...
166
click to vote
ICCAD
2002
IEEE
16 years 4 months ago
2002
IEEE
This paper presents an in-depth study of the theory and algorithms for the SPFD-based (Set of Pairs of Functions to be Distinguished) rewiring, and explores the flexibility in the...
188
click to vote
TLDI
2009
ACM
16 years 4 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
197
click to vote
CSCW
2010
ACM
16 years 4 months ago
2010
ACM
This study investigates whether deception in online dating profiles is detectable through a linguistic approach, which assumes that liars nonconsciously produce different word pat...