2687 search results - page 451 / 538 » Formal Analysis of PKCS |
157
click to vote
AIED
2005
Springer
15 years 11 months ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
149
click to vote
AIRS
2005
Springer
15 years 11 months ago
2005
Springer
Sentence level novelty detection aims at spotting sentences with novel information from an ordered sentence list. In the task, sentences appearing later in the list with no new me...
175
Voted
CIKM
2005
Springer
15 years 11 months ago
2005
Springer
Modern query optimizers select an efficient join ordering for a physical execution plan based essentially on the average join selectivity factors among the referenced tables. In ...
144
Voted
COCO
2005
Springer
15 years 11 months ago
2005
Springer
We continue the study of noncommutative polynomial identity testing initiated by Raz and Shpilka and present efficient algorithms for the following problems in the noncommutative...
160
click to vote
FC
2005
Springer
15 years 11 months ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...