Sciweavers

21108 search results - page 24 / 4222
» A General Class of Models of
Sort
View
DEXA
2005
Springer
138views Database» more  DEXA 2005»
14 years 1 months ago
Evolving XML Schemas and Documents Using UML Class Diagrams
The widespread use of XML brings new challenges for its integration into general software development processes. In particular, it is necessary to keep the consistency between di...
Eladio Domínguez, Jorge Lloret, Angel Luis ...
MLQ
2000
99views more  MLQ 2000»
13 years 7 months ago
The Essentially Equational Theory of Horn Classes
It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct tran...
Hans-E. Porst
AUTOMATICA
2006
118views more  AUTOMATICA 2006»
13 years 7 months ago
Diagonal stability of a class of cyclic systems and its connection with the secant criterion
We consider a class of systems with a cyclic interconnection structure that arises, among other examples, in dynamic models for certain biochemical reactions. We first show that a...
Murat Arcak, Eduardo D. Sontag
AOSE
2001
Springer
14 years 5 days ago
UML Class Diagrams Revisited in the Context of Agent-Based Systems
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
Bernhard Bauer
AIPS
2011
12 years 11 months ago
Heuristic Search for Generalized Stochastic Shortest Path MDPs
Research in efficient methods for solving infinite-horizon MDPs has so far concentrated primarily on discounted MDPs and the more general stochastic shortest path problems (SSPs...
Andrey Kolobov, Mausam, Daniel S. Weld, Hector Gef...