Sciweavers

596 search results - page 54 / 120
» Providing Automatic Support for Heuristic Rules of Methods
Sort
View
GECCO
2005
Springer
139views Optimization» more  GECCO 2005»
15 years 3 months ago
Use of a genetic algorithm in brill's transformation-based part-of-speech tagger
The tagging problem in natural language processing is to find a way to label every word in a text as a particular part of speech, e.g., proper noun. An effective way of solving th...
Garnett Carl Wilson, Malcolm I. Heywood
AGTIVE
2007
Springer
15 years 1 months ago
Domain Specific Languages with Graphical and Textual Views
We show our approach for the definition of Domain Specific Languages integrating both graphical and textual views. The approach is based on the meta-modelling concepts provided by ...
Francisco Pérez Andrés, Juan de Lara...
SIGMOD
2002
ACM
172views Database» more  SIGMOD 2002»
15 years 10 months ago
Automating physical database design in a parallel database
Physical database design is important for query performance in a shared-nothing parallel database system, in which data is horizontally partitioned among multiple independent node...
Jun Rao, Chun Zhang, Nimrod Megiddo, Guy M. Lohman
HIS
2004
14 years 11 months ago
Reinforcement Learning Hierarchical Neuro-Fuzzy Politree Model for Control of Autonomous Agents
: This work presents a new hybrid neuro-fuzzy model for automatic learning of actions taken by agents. The main objective of this new model is to provide an agent with intelligence...
Karla Figueiredo, Marley B. R. Vellasco, Marco Aur...
ITP
2010
140views Mathematics» more  ITP 2010»
15 years 1 months ago
Case-Analysis for Rippling and Inductive Proof
Abstract. Rippling is a heuristic used to guide rewriting and is typically used for inductive theorem proving. We introduce a method to support case-analysis within rippling. Like ...
Moa Johansson, Lucas Dixon, Alan Bundy