Sciweavers

4421 search results - page 308 / 885
» Libraries
Sort
View
CORR
2010
Springer
65views Education» more  CORR 2010»
15 years 2 months ago
Generating Bijections between HOAS and the Natural Numbers
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 ...
John Tang Boyland
IPAW
2010
15 years 2 months ago
The Provenance of Workflow Upgrades
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...
HCI
2009
15 years 1 months ago
TACTUS: A Hardware and Software Testbed for Research in Multi-Touch Interaction
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...
COMPSYSTECH
2010
15 years 23 days ago
Integration of neural networks and expert systems for time series prediction
: 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...
Ventsislav Nikolov, Valeri Bogdanov
JMLR
2010
125views more  JMLR 2010»
14 years 11 months ago
Continuous Time Bayesian Network Reasoning and Learning Engine
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...