998 search results - page 23 / 200 » From Feasible Proofs to Feasible Computations |
ACMACE
2007
ACM
13 years 11 months ago
2007
ACM
controls often required for gameplay hinder the potential for social interaction, especially in domestic settings. Purple Crayon, an interactive electronic entertainment environme...
ISMB
1997
13 years 8 months ago
1997
In bacterial cells, gene expression is regulated by multiple sigma factors, each of which has its promoter specificity, according to their conditions. Thus, if we can discriminate...
GD
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We deal with a map-labeling problem, named LOFL (Leftpart Ordered Flexible Labeling), to label a set of points in a plane with polygonal obstacles. The label for each poi...
ICLP
2010
Springer
13 years 11 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...
ACMSE
1992
ACM
13 years 11 months ago
1992
ACM
The feasibility of extracting both explicit and implicit synonym references from a machine readable dictionary is investigated; the extracted synonyms, both symmetric and asymmetr...