471 search results - page 57 / 95 » Modals As A Problem For MT |
AI
2005
Springer
14 years 9 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
110
click to vote
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Recently, the wide deployment of practical face recognition systems gives rise to the emergence of the inter-modality face recognition problem. In this problem, the face images in ...
AIPS
2006
14 years 11 months ago
2006
Recent research in AI Planning is focused on improving the quality of the generated plans. PDDL3 incorporates hard and soft constraints on goals and the plan trajectory. Plan traj...
MICCAI
2009
Springer
15 years 11 months ago
2009
Springer
We address the problem of efficient sampling of the diffusion space for the Diffusion Magnetic Resonance Imaging (dMRI) modality. While recent scanner improvements enable the acqui...