892 search results - page 64 / 179 » Action respecting embedding |
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
AH
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. In this paper, we describe the design and development of personal information assistant (PIA), a system aiming to meet individual needs of the searchers. The system'...
WSC
2007
14 years 6 days ago
2007
Most of the materials and components for a construction project are lifted by cranes. Much research has been done for path planning, motion control, and online navigation to reduc...
FOGA
2007
13 years 11 months ago
2007
In the case where the search space has a group structure, classical genetic operators (mutation and two-parent crossover) which respect the group action are completely characterize...
IWEC
2007
13 years 11 months ago
2007
We first point out a problem in the role casting method of a story generation system called OPIATE and then propose a solution to this problem. The existing casting method does no...