306 search results - page 48 / 62 » Constructive algebraic integration theory |
CAE
2010
13 years 4 months ago
2010
Renaissance artists discovered methods for imaging realistic depth on a two dimensional surface by re-inventing linear perspective. In solving the problem of depth depiction, they...
CADE
2003
Springer
14 years 10 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
In enterprise architecture, the goal is to integrate business resources and IT resources in order to improve an enterprise’s competitiveness. In an enterprise architecture proje...
FOSSACS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper describes the system architecture development process in an international ICT company, which is building a comprehensive e-business system for its customers. The implem...