Sciweavers

2701 search results - page 89 / 541
» On the form of witness terms
Sort
View
IUI
2003
ACM
15 years 11 months ago
Power tools and composite tools: integrating automation with direct manipulation
This paper describes a drawing system that incorporates two novel interaction techniques based on analogies to physical tools. Power tools add limited autonomy in the form of rota...
John M. Daughtry, Robert St. Amant
ASP
2003
Springer
15 years 11 months ago
Graphs and colorings for answer set programming: Abridged Report
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
Kathrin Konczak, Torsten Schaub, Thomas Linke
EGOV
2003
Springer
15 years 11 months ago
Structuring Dialogue between the People and Their Representatives
Conversations between citizens and their representatives may take a number of forms. In this paper, we consider one of these — letters between citizens and representatives — an...
Katie Greenwood, Trevor J. M. Bench-Capon, Peter M...
ISI
2003
Springer
15 years 11 months ago
Database Support for Exploring Criminal Networks
Understanding the data gathered thus far in a criminal investigation is of great importance, particularly in terms of guiding its future course. One established method of comprehen...
M. N. Smith, Peter J. H. King
GECCO
2009
Springer
142views Optimization» more  GECCO 2009»
15 years 11 months ago
Evolution, development and learning using self-modifying cartesian genetic programming
Self-Modifying Cartesian Genetic Programming (SMCGP) is a form of genetic programming that integrates developmental (self-modifying) features as a genotype-phenotype mapping. This...
Simon Harding, Julian Francis Miller, Wolfgang Ban...