892 search results - page 64 / 179 » Action respecting embedding |
131
click to vote
LICS
2006
IEEE
15 years 10 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...
115
click to vote
AH
2006
Springer
15 years 7 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'...
130
click to vote
WSC
2007
15 years 6 months 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...
124
click to vote
FOGA
2007
15 years 5 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
15 years 5 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...