Sciweavers

2036 search results - page 44 / 408
» A generic type-and-effect system
Sort
View
106
Voted
CASC
2010
Springer
151views Mathematics» more  CASC 2010»
14 years 11 months ago
Supporting Global Numerical Optimization of Rational Functions by Generic Symbolic Convexity Tests
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...
Winfried Neun, Thomas Sturm, Stefan Vigerske
80
Voted
CAISE
2005
Springer
15 years 6 months ago
System Ontology and its role in Software Development
The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...
Jan L. G. Dietz
87
Voted
DAGSTUHL
2003
15 years 1 months ago
Maximizing Learning Progress: An Internal Reward System for Development
This chapter presents a generic internal reward system that drives an agent to increase the complexity of its behavior. This reward system does not reinforce a predefined task. It...
Frédéric Kaplan, Pierre-Yves Oudeyer
89
Voted
CBMS
2009
IEEE
15 years 7 months ago
eHealth personalization in the next generation RPM systems
In this work we present a possible next generation Remote patient management (RPM) system that enables personalization of educational content and its delivery to patients and intr...
Aleksandra Tesanovic, Goran Manev, Mykola Pecheniz...
79
Voted
WSC
2008
15 years 2 months ago
Tradeoffs in building a generic supply chain simulation capability
Building a simulation model for any large complex system requires high expertise and effort. These requirements can be reduced through building generic simulation capability that ...
Sanjay Jain