Sciweavers

1880 search results - page 271 / 376
» A Fact-Oriented Approach to Activity Modeling
Sort
View
AAAI
1997
15 years 5 months ago
Complex Goal Criteria and Its Application in Design-to-Criteria Scheduling
Difficult real-time AI problems require a means for expressing multi-dimensional and dynamic goal criteria and a principled model for satisficing to best meet the criteria. In the...
Thomas Wagner, Alan Garvey, Victor R. Lesser
FSKD
2008
Springer
120views Fuzzy Logic» more  FSKD 2008»
15 years 5 months ago
An Unsupervised Gaussian Mixture Classification Mechanism Based on Statistical Learning Analysis
This paper presents a scheme for unsupervised classification with Gaussian mixture models by means of statistical learning analysis. A Bayesian Ying-Yang harmony learning system a...
Rui Nian, Guangrong Ji, Michel Verleysen
ECEASST
2008
83views more  ECEASST 2008»
15 years 4 months ago
Layered Architecture Consistency for MANETs: Introducing New Team Members
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...
Enrico Biermann, Kathrin Hoffmann, Julia Padberg
FMSD
2008
110views more  FMSD 2008»
15 years 4 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
COMCOM
2006
140views more  COMCOM 2006»
15 years 4 months ago
A combined delay and throughput proportional scheduling scheme for differentiated services
Abstract--The proportional differentiation model is a newly introduced approach for differentiated services networks. This paper proposes and evaluates a scheduling mechanism for t...
Ahmed E. Kamal, Samyukta Sankaran