Sciweavers

5388 search results - page 671 / 1078
» The Active Elastic Model
Sort
View
AAAI
1990
15 years 8 months ago
An Approach to Reasoning About Continuous Change for Applications in Planning
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...
Thomas Dean, Greg Siegle
FSKD
2008
Springer
120views Fuzzy Logic» more  FSKD 2008»
15 years 8 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 7 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
ESWA
2008
96views more  ESWA 2008»
15 years 7 months ago
samap: An user-oriented adaptive system for planning tourist visits
In this paper, we present samap, whose goal is to build a software tool to help different people visit different cities. This tool integrates modules that dynamically capture user...
Luis A. Castillo, Eva Armengol, Eva Onaindia, Laur...
FMSD
2008
110views more  FMSD 2008»
15 years 7 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