Sciweavers

122 search results - page 16 / 25
» Multi-agent learning and the descriptive value of simple mod...
Sort
View
TASE
2008
IEEE
14 years 9 months ago
Modeling and Supervisory Control of Railway Networks Using Petri Nets
In this paper we deal with the problem of modeling railway networks with Petri nets so as to apply the theory of supervisory control for discrete event systems to automatically de...
Alessandro Giua, Carla Seatzu
JCC
2002
74views more  JCC 2002»
14 years 9 months ago
Determination of the effective dielectric constant from the accurate solution of the Poisson equation
: Constant dielectric (CD) and distance-dependent dielectric (DDD) functions are the most popular and widespread in the Molecular Mechanics simulations of large molecular systems. ...
Vladislav Vasilyev
JOLLI
2008
95views more  JOLLI 2008»
14 years 9 months ago
Relational Modality
Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By th...
Kathrin Glüer, Peter Pagin
AICT
2006
IEEE
15 years 3 months ago
A Topic-based approach to express dynamic capabilities of Semantic WS-Resources
The release of WSRF showed that an OGSA infrastructure of stateful WS-Resources could be built on top of plain WSDL, while retaining Web services as stateless entities. This Grid ...
Ramses Rodriguez, Carmen Costilla, Antonio Calleja
ISCA
1997
IEEE
137views Hardware» more  ISCA 1997»
15 years 1 months ago
A Language for Describing Predictors and Its Application to Automatic Synthesis
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
Joel S. Emer, Nicholas C. Gloy