Sciweavers

8496 search results - page 483 / 1700
» Problem Solving and Complex Systems
Sort
View
ANTS
2006
Springer
127views Algorithms» more  ANTS 2006»
15 years 11 months ago
Doubly-Focused Enumeration of Pseudosquares and Pseudocubes
This paper offers numerical evidence for a conjecture that primality proving may be done in (log N)3+o(1) operations by examining the growth rate of quantities known as pseudosquar...
Kjell Wooding, Hugh C. Williams
AAAI
2007
15 years 10 months ago
Topic Segmentation Algorithms for Text Summarization and Passage Retrieval: An Exhaustive Evaluation
In order to solve problems of reliability of systems based on lexical repetition and problems of adaptability of languagedependent systems, we present a context-based topic segmen...
Gaël Dias, Elsa Alves, José Gabriel Pe...
IMECS
2007
15 years 9 months ago
Clos Solutions to Binary Methods
Abstract—Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise, such as typing (covariance vs. contravariance of the argument...
Didier Verna
FLAIRS
2006
15 years 9 months ago
Evaluation of the q-matrix Method in Understanding Student Logic Proofs
In building intelligent tutoring systems, it is critical to be able to understand and diagnose student responses in interactive problem solving. We present a novel application of ...
Tiffany Barnes
SERP
2004
15 years 9 months ago
Locating Features in Distributed Systems
In distributed systems, just as in conventional software, it is often necessary to locate the software components that implement a particular user feature. Several dynamic analysi...
Sharon Simmons, Dennis Edwards, Norman Wilde