Sciweavers

4679 search results - page 273 / 936
» Modeling When Connections Are the Problem
Sort
View
KBSE
1998
IEEE
15 years 10 months ago
Towards the Automated Debugging and Maintenance of Logic-based Requirements Models
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
T. L. McCluskey, Margaret Mary West
IJCAI
2007
15 years 8 months ago
An Experience on Reputation Models Interoperability Based on a Functional Ontology
Interaction between heterogeneous agents can raise some problems since agents may not use the same models and concepts. Therefore, the use of some mechanisms to achieve interoperab...
Laurent Vercouter, Sara J. Casare, Jaime Sim&atild...
WSC
2001
15 years 8 months ago
Resource graphs for modeling large-scale, highly congested systems
Simulations often execute too slowly to be effective tools for decision-making. In particular, this problem has been found in semiconductor manufacturing where conventional job-dr...
Paul Hyden, Lee Schruben, Theresa M. Roeder
ENTCS
2008
95views more  ENTCS 2008»
15 years 6 months ago
A Rule-based Method to Match Software Patterns Against UML Models
In a UML model, different aspects of a system are covered by different types of diagrams and this bears the risk that an overall system specification becomes barely tractable by t...
Demis Ballis, Andrea Baruzzo, Marco Comini
TNN
2008
177views more  TNN 2008»
15 years 6 months ago
Adaptive Importance Sampling to Accelerate Training of a Neural Probabilistic Language Model
Previous work on statistical language modeling has shown that it is possible to train a feed-forward neural network to approximate probabilities over sequences of words, resulting...
Yoshua Bengio, Jean-Sébastien Senecal