3229 search results - page 357 / 646 » Theories with the Independence Property |
161
click to vote
JSYML
2002
15 years 6 months ago
2002
Fibring is recognized as one of the main mechanisms in combining logics, with great significance in the theory and applications of mathematical logic. However, an open challenge t...
161
click to vote
RML
2002
15 years 6 months ago
2002
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the form of the DAML+OIL language whic...
201
click to vote
TGIS
2002
15 years 6 months ago
2002
The research field of transportation demand forecasting has started to focus on disaggregate travel behavior and micro-simulation models. To create data infrastructure, disaggrega...
161
click to vote
WINET
2002
15 years 6 months ago
2002
We present a game-theoretic treatment of distributed power control in CDMA wireless systems. We make use of the conceptual framework of noncooperative game theory to obtain a distr...
177
click to vote
SIMPRA
2008
15 years 6 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...