Sciweavers

1569 search results - page 157 / 314
» Automated Design Improvement by Example
Sort
View
ECSQARU
2009
Springer
15 years 8 months ago
Inference from Multinomial Data Based on a MLE-Dominance Criterion
We consider the problem of inference from multinomial data with chances θ, subject to the a-priori information that the true parameter vector θ belongs to a known convex polytope...
Alessio Benavoli, Cassio P. de Campos
CHI
1998
ACM
15 years 8 months ago
Information Archiving with Bookmarks: Personal Web Space Construction and Organization
Bookmarks are used as "personal Web information spaces" to help people remember and retrieve interesting Web pages. A study of personal Web information spaces surveyed 3...
David Abrams, Ronald Baecker, Mark H. Chignell
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
15 years 8 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
121
Voted
NSDI
2008
15 years 6 months ago
Using Salience Differentials to Making Visual Cues Noticeable
There is a large body of research on how to design user interfaces for systems so as to ensure that important messages from the systems are presented to the user to maximize the p...
Andreas P. Heiner, N. Asokan
135
Voted
CIIA
2009
15 years 4 months ago
Dynamic Scheduling in Petroleum Process using Reinforcement Learning
Petroleum industry production systems are highly automatized. In this industry, all functions (e.g., planning, scheduling and maintenance) are automated and in order to remain comp...
Nassima Aissani, Bouziane Beldjilali