544 search results - page 43 / 109 » Overview of QAST 2007 |
AMAI
2007
Springer
14 years 12 months ago
2007
Springer
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
105
click to vote
EJC
2008
14 years 12 months ago
2008
We present improved lower bounds on the sizes of small maximal partial ovoids and small maximal partial spreads in the classical symplectic and orthogonal polar spaces, and improv...
MJ
2008
14 years 11 months ago
2008
The aim of this paper is to give a brief overview of recent advances in the area of semiconductor nanomaterials, which represent extremely promising applications for materials wit...
100
click to vote
IJUFKS
2007
14 years 11 months ago
2007
Abstract. Resampling methods are among the best approaches to determine the number of clusters in prototype-based clustering. The core idea is that with the right choice for the nu...
JAIR
2007
14 years 11 months ago
2007
This paper describes Marvin, a planner that competed in the Fourth International Planning Competition (IPC 4). Marvin uses action-sequence-memoisation techniques to generate macro...