Sciweavers

1363 search results - page 141 / 273
» Generating hypotheses from the web
Sort
View
DOLAP
2010
ACM
15 years 1 months ago
Using ontologies to discover fact IDs
Object identification is a crucial step in most information systems. Nowadays, we have many different ways to identify entities such as surrogates, keys and object identifiers. Ho...
Alberto Abelló, Oscar Romero
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
14 years 11 months ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
GECCO
2011
Springer
256views Optimization» more  GECCO 2011»
14 years 7 months ago
Evolving complete robots with CPPN-NEAT: the utility of recurrent connections
This paper extends prior work using Compositional Pattern Producing Networks (CPPNs) as a generative encoding for the purpose of simultaneously evolving robot morphology and contr...
Joshua E. Auerbach, Josh C. Bongard
WWW
2005
ACM
16 years 5 months ago
Accessibility: a Web engineering approach
Currently, the vast majority of web sites do not support accessibility for visually impaired users. Usually, these users have to rely on screen readers: applications that sequenti...
Peter Plessers, Sven Casteleyn, Yeliz Yesilada, Ol...
IE
2007
15 years 5 months ago
Evolving images for entertainment
Images are widely used in media contexts such as web design, games and video animation. The process of creating interesting images can be enjoyable if a useful tool is involved. I...
Qinying Xu, Daryl J. D'Souza, Victor Ciesielski