3166 search results - page 532 / 634 » Translation By Structural Correspondences |
106
click to vote
IPL
2008
15 years 22 days ago
2008
An optimal labeling where labels are disjoint axis-parallel equal-size squares is called 2PM labeling if the labels have maximum length each attached to its corresponding point on...
IJAIT
2006
15 years 22 days ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
88
Voted
JAIR
2008
15 years 21 days ago
2008
We study the complexity of cost-optimal classical planning over propositional state variables and unary-effect actions. We discover novel problem fragments for which such optimiza...
97
Voted
CORR
2007
Springer
15 years 21 days ago
2007
Springer
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...
114
click to vote
JMIV
2008
15 years 21 days ago
2008
Tomography is a powerful technique to obtain accurate images of the interior of an object in a nondestructive way. Conventional reconstruction algorithms, such as filtered backproj...