3392 search results - page 270 / 679 » Using Knowledge Representation to Understand Interactive Sys... |
149
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
149
click to vote
SPIESR
1998
15 years 5 months ago
1998
Content-Based Image Retrieval (CBIR) has become one of the most active research areas in the past few years. Many visual feature representations have been explored and many system...
138
Voted
HCSE
2010
15 years 2 months ago
2010
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
187
click to vote
SPATIALCOGNITION
2000
Springer
15 years 8 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
122
click to vote
ICDT
2005
ACM
15 years 10 months ago
2005
ACM
The traditional way of representing motion in 3D space-time uses a trajectory, i.e. a sequence of (x,y,t) points. Such a trajectory may be produced by periodic sampling of a Global...