Sciweavers

9176 search results - page 1508 / 1836
» algorithms 2010
Sort
View
CORR
2010
Springer
102views Education» more  CORR 2010»
15 years 6 months ago
Structure of random r-SAT below the pure literal threshold
It is well known that there is a sharp density threshold for a random r-SAT formula to be satisfiable, and a similar, smaller, threshold for it to be satisfied by the pure literal ...
Alexander D. Scott, Gregory B. Sorkin
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 6 months ago
Efficient Dealiased Convolutions without Padding
Algorithms are developed for calculating dealiased linear convolution sums without the expense of conventional zero-padding or phase-shift techniques. For one-dimensional in-place ...
John C. Bowman, Malcolm Roberts
CORR
2010
Springer
109views Education» more  CORR 2010»
15 years 6 months ago
Hybrid tractability of soft constraint problems
The constraint satisfaction problem (CSP) is a central generic problem in artificial intelligence. Considerable effort has been made in identifying properties which ensure tractabi...
Martin C. Cooper, Stanislav Zivný
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 6 months ago
Automatic Recommendation for Online Users Using Web Usage Mining
A real world challenging task of the web master of an organization is to match the needs of user and keep their attention in their web site. So, only option is to capture the intu...
Dipa Dixit, Jayant Gadge
CORR
2010
Springer
151views Education» more  CORR 2010»
15 years 6 months ago
The Challenge of Believability in Video Games: Definitions, Agents Models and Imitation Learning
In this paper, we address the problem of creating believable agents (virtual characters) in video games. We consider only one meaning of believability, "giving the feeling of...
Fabien Tencé, Cédric Buche, Pierre D...
« Prev « First page 1508 / 1836 Last » Next »