Sciweavers

1786 search results - page 87 / 358
» Domain Independent Generative Modeling
Sort
View
SPIN
2007
Springer
15 years 8 months ago
Generating Counter-Examples Through Randomized Guided Search
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
Neha Rungta, Eric G. Mercer
97
Voted
IJCAI
2001
15 years 3 months ago
Generating Tailored Examples to Support Learning via Self-explanation
We describe a framework that helps students learn from examples by generating example problem solutions whose level of detail is tailored to the students' domain knowledge. T...
Cristina Conati, Giuseppe Carenini
CVPR
2007
IEEE
16 years 4 months ago
Saliency Detection: A Spectral Residual Approach
The ability of human visual system to detect visual saliency is extraordinarily fast and reliable. However, computational modeling of this basic intelligent behavior still remains...
Xiaodi Hou, Liqing Zhang
RE
1999
Springer
15 years 6 months ago
Generating User Interface Prototypes from Scenarios
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. K...
100
Voted
TSP
2010
14 years 9 months ago
A complex generalized Gaussian distribution: characterization, generation, and estimation
The generalized Gaussian distribution (GGD) provides a flexible and suitable tool for data modeling and simulation, however the characterization of the complex-valued GGD, in parti...
Mike Novey, Tülay Adali, Anindya Roy