Sciweavers

2041 search results - page 121 / 409
» Modelling Generic Judgements
Sort
View
FSTTCS
1998
Springer
15 years 9 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
167
Voted
MKWI
2008
123views Business» more  MKWI 2008»
15 years 6 months ago
Towards a Model for Specifying and Composing Concerns in Software Product Line Engineering
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
Volker Kuttruff
CORR
2002
Springer
106views Education» more  CORR 2002»
15 years 4 months ago
On model selection and the disability of neural networks to decompose tasks
A neural network with fixed topology can be regarded as a parametrization of functions, which decides on the correlations between functional variations when parameters are adapted...
Marc Toussaint
IOR
2011
152views more  IOR 2011»
14 years 11 months ago
Risk-Averse Two-Stage Stochastic Linear Programming: Modeling and Decomposition
We formulate a risk-averse two-stage stochastic linear programming problem in which unresolved uncertainty remains after the second stage. The objective function is formulated as ...
Naomi Miller, Andrzej Ruszczynski
WWW
2006
ACM
16 years 5 months ago
Mining search engine query logs for query recommendation
This paper presents a simple and intuitive method for mining search engine query logs to get fast query recommendations on a large scale industrial-strength search engine. In orde...
Zhiyong Zhang, Olfa Nasraoui