898 search results - page 71 / 180 » A Linear Tabling Mechanism |
TABLEAUX
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
COMPSAC
2006
IEEE
13 years 11 months ago
2006
IEEE
We propose Tree Hash to reduce bucket overflow, which is one of the inherent problems in dynamic hash techniques. In this investigation, we dicuss how to improve efficien cy of Tre...
ENTCS
2008
13 years 7 months ago
2008
duce an abstract notion of POVM within the categorical quantum mechanical semantics in terms act categories. Our definition is justified by two facts: i. we provide a purely graph...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
The paper addresses kinematic and geometrical aspects of the Orthoglide, a three-DOF parallel mechanism. This machine consists of three fixed linear joints, which are mounted ortho...
TKDE
2012
11 years 10 months ago
2012
—Preparing a data set for analysis is generally the most time consuming task in a data mining project, requiring many complex SQL queries, joining tables and aggregating columns....