INFORMATICALT
2016
8 years 7 months ago
2016
Abstract. The nonlinear stochastic programming problem involving CVaR in the objective and constraints is considered. Solving the latter problem in a framework of bi-level stochast...
INFFUS
2016
8 years 7 months ago
2016
Interest in Opinion Mining has been growing steadily in the last years, mainly because of its great number of applications and the scientific challenge it poses. Accordingly, the...
INFFUS
2016
8 years 7 months ago
2016
Plagiarism refers to the act of presenting external words, thoughts, or ideas as one’s own, without providing references to the sources from which they were taken. The exponenti...
INDIASE
2016
ACM
8 years 7 months ago
2016
ACM
For modern enterprises, compliance to regulations has become increasingly important. Yet, substantial manual interventions and lack of interoperable models of various compliance a...
INDIASE
2016
ACM
8 years 7 months ago
2016
ACM
Root-cause analysis after a system failure/error is an important activity to determine exact reasons for failure/error. Most of the time, these error conditions cannot be reproduc...
INDIASE
2016
ACM
8 years 7 months ago
2016
ACM
Heterogeneous partitioning is a key step for efficient mapping and scheduling of data parallel applications on multi-core computing platforms involving both CPUs and GPUs. Over th...
INDIASE
2016
ACM
8 years 7 months ago
2016
ACM
Performance analysis of distributed systems with tiered software architecture has popularly entailed mean response time as the commonly used metric. It must be noted however that ...
FOSSACS
2016
Springer
8 years 7 months ago
2016
Springer
Abstract. We extend the concept of a synchronizing word from finitestate automata (DFA) to nested word automata (NWA): A well-matched nested word is called synchronizing if it res...
FOSSACS
2016
Springer
8 years 7 months ago
2016
Springer
We investigate the complexity of deciding contextual approximation (refinement) in finitary Idealized Algol, a prototypical language combining higherorder types with state. Earli...
FOSSACS
2016
Springer
8 years 7 months ago
2016
Springer
We give a characterization of deterministic polynomial time computation based on an algebraic structure called the resolution semiring (whose elements can be understood as logic pr...