Sciweavers

4397 search results - page 585 / 880
» Relational Algebra Operations
Sort
View
DAGM
2007
Springer
15 years 8 months ago
Efficient Learning of Neural Networks with Evolutionary Algorithms
Abstract. In this article we present EANT2, a method that creates neural networks (NNs) by evolutionary reinforcement learning. The structure of NNs is developed using mutation ope...
Nils T. Siebel, Jochen Krause, Gerald Sommer
FMCAD
2007
Springer
15 years 8 months ago
A Mechanized Refinement Framework for Analysis of Custom Memories
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
Sandip Ray, Jayanta Bhadra
DNA
2009
Springer
194views Bioinformatics» more  DNA 2009»
15 years 8 months ago
A Domain-Specific Language for Programming in the Tile Assembly Model
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...
David Doty, Matthew J. Patitz
105
Voted
AUIC
2004
IEEE
15 years 7 months ago
e-Ghosts: Leaving Virtual Footprints in Ubiquitous Workspaces
Ubiquitous workspaces are future media-rich environments that employ new forms of operating systems and services to coordinate and manage interactions between people, multiple dis...
Michael Vernik, Steven Johnson, Rudi Vernik
129
Voted
DEXAW
2004
IEEE
93views Database» more  DEXAW 2004»
15 years 7 months ago
QoS in Ontology-Based Service Classification and Discovery
Nowadays, many different organizations which operate in the Web distributed environment become more and more dependent on services to automate their activities and to improve thei...
Devis Bianchini, Valeria De Antonellis, Michele Me...