700 search results - page 43 / 140 » Towards a theory of |
MKM
2007
Springer
14 years 2 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
DAGM
2003
Springer
14 years 1 months ago
2003
Springer
We define strong r-similarity and the morphing distance to bound geometric distortions between shapes of equal topology. We then derive a necessary and sufficient condition for a ...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper examines the value drivers and e-business infrastructures for collaborative commerce across two distinct types of business-to-business governance arrangements in Financ...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
ICDCSW
2008
IEEE
14 years 2 months ago
2008
IEEE
In this position paper we investigate the security of cyberphysical systems. We (1) identify and define the problem of secure control, (2) investigate the defenses that informati...