4211 search results - page 577 / 843 » A formal approach to MASQ |
169
click to vote
FLAIRS
2006
15 years 8 months ago
2006
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
171
click to vote
CATA
2003
15 years 8 months ago
2003
Visualization research seeks to exploit the human user’s ability to interpret graphical representations of data in order to provide insight into properties of the data that may ...
160
click to vote
CISST
2003
15 years 8 months ago
2003
An approach to conflation/registration of images that does not depend on identifying common points is being developed. It uses the method of algebraic invariants to provide a comm...
157
click to vote
DGO
2003
15 years 8 months ago
2003
This paper explores the use of process technology to create formal process models to increase the level of trust that stakeholders have in digital government. Digital Government s...
194
click to vote
DLOG
2003
15 years 8 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...