808 search results - page 103 / 162 » What Is Answer Set Programming |
109
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...
128
click to vote
ESOP
2010
Springer
15 years 5 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
157
click to vote
ALIFE
1999
15 years 2 months ago
1999
A novel machine language genetic programming system that uses one-dimensional core memories is proposed and simulated. The core is compared to a biochemical reaction space, and in ...
197
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The proofs of major results of Computability Theory like Rice, Rice-Shapiro or Kleene's fixed point theorem hide more information of what is usually expressed in their respec...
152
click to vote
ICDE
2011
IEEE
14 years 6 months ago
2011
IEEE
— The study of skylines and their variants has received considerable attention in recent years. Skylines are essentially sets of most interesting (undominated) tuples in a databa...