1743 search results - page 263 / 349 » Generalized Modal Satisfiability |
129
click to vote
EAAI
2007
15 years 2 months ago
2007
In this work, stability control of bipedal standing is investigated. The biped is simplified as an inverted pendulum with a foot-link. The controller consists of a general regres...
157
click to vote
ECRA
2007
15 years 2 months ago
2007
Recommendation systems have been studied actively since the 1990s. Generally, recommendation systems choose one or more candidates from a set of candidates through a filtering pro...
121
click to vote
KES
2008
Springer
15 years 2 months ago
2008
Springer
This paper discusses a new solution to university course timetabling problems. The problems that belong to the NP-hard class are very difficult to solve using conventional optimiza...
112
Voted
MLQ
2008
15 years 2 months ago
2008
We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y . The notion of `indicator' is d...
126
Voted
SIGIR
2008
ACM
15 years 2 months ago
2008
ACM
The primary business model behind Web search is based on textual advertising, where contextually relevant ads are displayed alongside search results. We address the problem of sel...