Sciweavers

466 search results - page 61 / 94
» How to study artificial creativity
Sort
View
TPHOL
2003
IEEE
15 years 5 months ago
Applications of Polytypism in Theorem Proving
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
Konrad Slind, Joe Hurd
ASSETS
2007
ACM
15 years 3 months ago
Evaluating American Sign Language generation through the participation of native ASL signers
We discuss important factors in the design of evaluation studies for systems that generate animations of American Sign Language (ASL) sentences. In particular, we outline how some...
Matt Huenerfauth, Liming Zhao, Erdan Gu, Jan M. Al...
BMCBI
2005
88views more  BMCBI 2005»
14 years 11 months ago
Using large-scale perturbations in gene network reconstruction
Background: Recent analysis of the yeast gene network shows that most genes have few inputs, indicating that enumerative gene reconstruction methods are both useful and computatio...
Thomas MacCarthy, Andrew Pomiankowski, Robert Seym...
KBS
2002
98views more  KBS 2002»
14 years 11 months ago
Integrating AI planning techniques with workflow management system
There is a variety of applications that can benefit from the ability to find optimal or good solutions to a proposed problem automatically. The Artificial Intelligent (AI) communi...
María Dolores Rodríguez-Moreno, Paul...
CVPR
2007
IEEE
16 years 1 months ago
Influence of numerical conditioning on the accuracy of relative orientation
We study the influence of numerical conditioning on the accuracy of two closed-form solutions to the overconstrained relative orientation problem. We consider the well known eight...
Sinisa Segvic, Gerald Schweighofer, Axel Pinz