Sciweavers

3428 search results - page 144 / 686
» Making the Case
Sort
View
BNCOD
2001
106views Database» more  BNCOD 2001»
15 years 12 days ago
SEAL - A Framework for Developing SEmantic Web PortALs
The core idea of the Semantic Web is to make information accessible to human and software agents on a semantic basis. Hence, web sites may feed directly from the Semantic Web explo...
Alexander Maedche, Steffen Staab, Nenad Stojanovic...
83
Voted
WSC
1997
15 years 11 days ago
Simulation-based Planning for Multi-Agent Environments
One of the key issues in reasoning with multiple interacting intelligent agents is how to model and code the decision making process of the agents. In Artificial Intelligence (AI...
Jin Joo Lee, Paul A. Fishwick
ENDM
2008
142views more  ENDM 2008»
14 years 11 months ago
Augmenting the Connectivity of Planar and Geometric Graphs
In this paper we study some connectivity augmentation problems. Given a connected graph G with some desirable property, we want to make G 2-vertex connected (or 2-edge connected) ...
Ignaz Rutter, Alexander Wolff
CCE
2006
14 years 11 months ago
Ontological informatics infrastructure for pharmaceutical product development and manufacturing
Informatics infrastructure plays a crucial role in supporting different decision making activities related to pharmaceutical product development, pilot plant and commercial scale ...
Venkat Venkatasubramanian, Chunhua Zhao, Girish Jo...
TSE
2010
123views more  TSE 2010»
14 years 5 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue