Sciweavers

10454 search results - page 371 / 2091
» Modeling the Experience of Emotion
Sort
View
ENTCS
2006
130views more  ENTCS 2006»
15 years 6 months ago
LSC Verification for UML Models with Unbounded Creation and Destruction
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
Bernd Westphal
EOR
2006
75views more  EOR 2006»
15 years 6 months ago
A rolling stock circulation model for combining and splitting of passenger trains
This paper addresses the railway rolling stock circulation problem. Given the departure and arrival times as well as the expected numbers of passengers, we have to assign the roll...
Pieter-Jan Fioole, Leo G. Kroon, Gábor Mar&...
IJWET
2007
114views more  IJWET 2007»
15 years 6 months ago
A comprehensive design model for integrating business processes in web applications
: Web applications have evolved from simple read-only websites to complex data- and operation-intensive systems. The main goal of this kind of application is to provide the users w...
Damiano Distante, Gustavo Rossi, Gerardo Canfora, ...
ISCI
2007
105views more  ISCI 2007»
15 years 6 months ago
Cost modeling of spatial operators using non-parametric regression
In an object-relational database management system, a query optimizer requires users to provide cost models of userdefined functions. The traditional approach is analytical, that...
Songtao Jiang, Byung Suk Lee, Zhen He
NECO
2002
104views more  NECO 2002»
15 years 6 months ago
An Unsupervised Ensemble Learning Method for Nonlinear Dynamic State-Space Models
A Bayesian ensemble learning method is introduced for unsupervised extraction of dynamic processes from noisy data. The data are assumed to be generated by an unknown nonlinear ma...
Harri Valpola, Juha Karhunen