Sciweavers

4061 search results - page 227 / 813
» Framework Evolution Tool
Sort
View
KBSE
2005
IEEE
15 years 11 months ago
Prufrock: a framework for constructing polytypic theorem provers
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
Justin Ward, Garrin Kimmell, Perry Alexander
HICSS
2003
IEEE
182views Biometrics» more  HICSS 2003»
15 years 10 months ago
Business Intelligence Explorer: A Knowledge Map Framework for Discovering Business Intelligence on the Web
Nowadays, information overload hinders the discovery of business intelligence on the World Wide Web. Existing business intelligence tools suffer from a lack of analysis and visual...
Wingyan Chung, Hsinchun Chen, Jay F. Nunamaker
MM
2010
ACM
219views Multimedia» more  MM 2010»
15 years 5 months ago
A framework for photo-quality assessment and enhancement based on visual aesthetics
We present an interactive application that enables users to improve the visual aesthetics of their digital photographs using spatial recomposition. Unlike earlier work that focuse...
Subhabrata Bhattacharya, Rahul Sukthankar, Mubarak...
GECCO
2005
Springer
204views Optimization» more  GECCO 2005»
15 years 11 months ago
Modeling systems with internal state using evolino
Existing Recurrent Neural Networks (RNNs) are limited in their ability to model dynamical systems with nonlinearities and hidden internal states. Here we use our general framework...
Daan Wierstra, Faustino J. Gomez, Jürgen Schm...
SCALESPACE
2005
Springer
15 years 11 months ago
Multiscale Active Contours
Abstract. In this paper, we propose an evolution equation for the active contours in scale spaces. This evolution equation is based on the Polyakov functional that has been first ...
Xavier Bresson, Pierre Vandergheynst, Jean-Philipp...