Sciweavers

3311 search results - page 284 / 663
» Deductive Object Programming
Sort
View
118
Voted
ICLP
2010
Springer
15 years 6 months ago
Using Generalized Annotated Programs to Solve Social Network Optimization Problems
Abstract. Reasoning about social networks (labeled, directed, weighted graphs) is becoming increasingly important and there are now models of how certain phenomena (e.g. adoption o...
Paulo Shakarian, V. S. Subrahmanian, Maria Luisa S...
105
Voted
CP
2006
Springer
15 years 6 months ago
Approximability of Integer Programming with Generalised Constraints
We study a family of problems, called Maximum Solution, where the objective is to maximise a linear goal function over the feasible integer assignments to a set of variables subjec...
Peter Jonsson, Fredrik Kuivinen, Gustav Nordh
144
Voted
FLAIRS
2008
15 years 5 months ago
Using Genetic Programming to Increase Rule Quality
Rule extraction is a technique aimed at transforming highly accurate opaque models like neural networks into comprehensible models without losing accuracy. G-REX is a rule extract...
Rikard König, Ulf Johansson, Lars Niklasson
119
Voted
AVI
2006
15 years 4 months ago
Programming rich interactions using the hierarchical state machine toolkit
Structured graphics models such as Scalable Vector Graphics (SVG) enable designers to create visually rich graphics for user interfaces. Unfortunately current programming tools ma...
Renaud Blanch, Michel Beaudouin-Lafon
111
Voted
BIB
2008
86views more  BIB 2008»
15 years 2 months ago
Recent developments in the MAFFT multiple sequence alignment program
The accuracy and scalability of multiple sequence alignment (MSA) of DNAs and proteins have long been and are still important issues in bioinformatics. To rapidly construct a reas...
Kazutaka Katoh, Hiroyuki Toh