572 search results - page 31 / 115 » Formal Properties of Metrical Structure |
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
HVC
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
CATA
2003
14 years 11 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 ...
CSL
2001
Springer
15 years 2 months ago
2001
Springer
We introduce the calculus of structures: it is more general than the sequent calculus and it allows for cut elimination and the subformula property. We show a simple extension of m...
CISST
2003
14 years 11 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...