Sciweavers

4166 search results - page 432 / 834
» Automating the constraining process
Sort
View
IEAAIE
2000
Springer
15 years 9 months ago
Modeling of, and Reasoning with Recurrent Events with Imprecise Durations
In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties o...
Stanislav Kurkovsky, Rasiah Loganantharaj
HPCN
1995
Springer
15 years 9 months ago
A model-driven tool for performance measurement and analysis of parallel programs
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
Xiandeng Huang, Christoph Steigner
AAAI
2007
15 years 8 months ago
Interest-Matching Comparisons using CP-nets
The formation of internet-based social networks has revived research on traditional social network models as well as interest-matching, or match-making, systems. In order to autom...
Andrew W. Wicker, Jon Doyle
FLAIRS
2007
15 years 8 months ago
Extending Community Ontology Using Automatically Generated Suggestions
In this paper we propose an ontology (formal knowledge base) creation methodology based on integrating external ontologies into the one developed by a community of the domain expe...
Vít Novácek, Maciej Dabrowski, Sebas...
MODELLIERUNG
2008
15 years 7 months ago
Integrating Content Assist into Textual Modelling Editors
: Intelligent, context sensitive content assist (also known as code completion) plays an important role in the effectiveness of model editors. This is not only true for textual lan...
Markus Scheidgen