Sciweavers

3357 search results - page 217 / 672
» Controlling Complexity
Sort
View
BIRTHDAY
2008
Springer
15 years 8 months ago
The Pairing of Contracts and Session Types
Abstract. We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contr...
Cosimo Laneve, Luca Padovani
LSSC
2007
Springer
16 years 18 days ago
Parallel Implementation of LQG Balanced Truncation for Large-Scale Systems
Model reduction of large-scale linear time-invariant systems is an ubiquitous task in control and simulation of complex dynamical processes. We discuss how LQG balanced truncation ...
José M. Badía, Peter Benner, Rafael ...
AIIA
2001
Springer
15 years 11 months ago
A Constraint-Based Architecture for Flexible Support to Activity Scheduling
Abstract. The O-OSCAR software architecture is a problem solving environment for complex scheduling problem that is based on a constraintbased representation. On top of this core r...
Amedeo Cesta, Gabriella Cortellessa, Angelo Oddi, ...
EAI
2004
15 years 7 months ago
Quality-Oriented Handling of Exceptions in Web-Service-Based Cooperative Processes
Abstract: Web services are increasingly used to integrate heterogeneous and autonomous applications in cross-organizational cooperations. A key problem is to support a high executi...
Ulrike Greiner, Erhard Rahm
PRL
2000
62views more  PRL 2000»
15 years 6 months ago
Interactive initialization of the multilayer perceptron
A new multilayer preceptor initialization method is proposed and compared experimentally with a traditional random initialization method. An operator maps training-set vectors int...
Aistis Raudys