Sciweavers

3022 search results - page 491 / 605
» Make Way for WayMaker
Sort
View
WSC
1998
13 years 11 months ago
Bayesian Model Selection when the Number of Components is Unknown
In simulation modeling and analysis, there are two situations where there is uncertainty about the number of parameters needed to specify a model. The first is in input modeling w...
Russell C. H. Cheng
WEBNET
2000
13 years 11 months ago
Dinopolis - A Leading Edge Application Framework for the Internet and Intranets
Dinopolis is at the moment the most universal and extendable application framework available. It is fully written in Java and fully compliant to today's application standards...
Christof Dallermassl, Heimo Haub, Hermann A. Maure...
WEBNET
2000
13 years 11 months ago
Conventions for Knowledge Representation via RDF
The Resource Description Framework [RDF] provides a basic model to describe relationships between objects. Ultimately, it is intended to permit the representation, combination and ...
Philippe Martin, Peter W. Eklund
WOA
2000
13 years 11 months ago
Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
Alessandro Armando, Daniele Zini
WSC
2000
13 years 11 months ago
Using agent-based modeling to capture airpower strategic effects
Airpower's strength lies in quickly striking the enemy directly where they are vulnerable while being unhampered by geography and surface forces. Airpower theory suggests the...
Richard K. Bullock, Gregory A. McIntyre, Raymond R...