ly correct bijection between higher-order abstract syntax (HOAS) and the natural numbers enables one to define a "not equals" relationship between terms and also to have ...
Provenance has become an increasingly important part of documenting, verifying, and reproducing scientific research, but as users seek to extend or share results, it may be imprac...
David Koop, Carlos Eduardo Scheidegger, Juliana Fr...
This paper presents the TACTUS Multi-Touch Research Testbed, a hardware and software system for enabling research in multi-touch interaction. A detailed discussion is provided on h...
Paul Varcholik, Joseph J. LaViola Jr., Denise M. N...
: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...
We present a continuous time Bayesian network reasoning and learning engine (CTBN-RLE). A continuous time Bayesian network (CTBN) provides a compact (factored) description of a co...
Christian R. Shelton, Yu Fan, William Lam, Joon Le...