8196 search results - page 1274 / 1640 » Computational Modeling and Complexity Science |
168
Voted
ICALP
2007
Springer
16 years 8 days ago
2007
Springer
We revisit the problem of memory checking considered by Blum et al. [3]. In this model, a checker monitors the behavior of a data structure residing in unreliable memory given an a...
151
Voted
IMSCCS
2006
IEEE
16 years 4 days ago
2006
IEEE
Multicategory Support Vector Machines (MC-SVM) are powerful classification systems with excellent performance in a variety of biological classification problems. However, the proc...
191
click to vote
LICS
2006
IEEE
16 years 4 days ago
2006
IEEE
We consider the monadic boundedness problem for least fixed points over FO formulae as a decision problem: Given a formula ϕ(X, x), positive in X, decide whether there is a unif...
170
Voted
IUI
2006
ACM
16 years 2 days ago
2006
ACM
This paper describes a discussion-bot that provides answers to students’ discussion board questions in an unobtrusive and humanlike way. Using information retrieval and natural ...
162
click to vote
EUROCAST
2005
Springer
15 years 11 months ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...