122 search results - page 6 / 25 » ac 2007 |
ACS
2004
13 years 7 months ago
2004
Abstract. In this paper we investigate effective descent morphisms in categories of reflexive and transitive lax algebras. We show in particular that open and proper maps are effec...
ACS
2004
13 years 7 months ago
2004
Subdirect representations are investigated in varieties which are defined by operations of not necessarily finite arity. It is shown that, in this context, Birkhoff's Subdire...
ACS
2004
13 years 7 months ago
2004
: We characterize the (effective) E-descent morphisms in the category Cat of small categories, when E is the class of discrete fibrations or the one of discrete cofibrations, and p...
AUTOMATICA
2007
13 years 7 months ago
2007
: A minimum-time torque control strategy for permanent-magnet ac motor drives is presented. The proposed solution is obtained by an ad-hoc procedure based on the computation of rea...
IJCAI
2001
13 years 9 months ago
2001
The AC-3 algorithm is a basic and widely used arc consistency enforcing algorithm in Constraint Satisfaction Problems (CSP). Its strength lies in that it is simple, empirically ef...