Sciweavers

438 search results - page 39 / 88
» A convenient differential category
Sort
View
EXPCS
2007
14 years 26 days ago
EXACT: the experimental algorithmics computational toolkit
In this paper, we introduce EXACT, the EXperimental Algorithmics Computational Toolkit. EXACT is a software framework for describing, controlling, and analyzing computer experimen...
William E. Hart, Jonathan W. Berry, Robert T. Heap...
ILP
2000
Springer
14 years 17 days ago
Bayesian Logic Programs
First-order probabilistic models are recognized as efficient frameworks to represent several realworld problems: they combine the expressive power of first-order logic, which serv...
Kristian Kersting, Luc De Raedt
ERLANG
2008
ACM
13 years 10 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
AVI
2010
13 years 10 months ago
Experiences with mouse control in multi-display environments
It is now increasingly common to extend private workstations with large public displays into a shared multi-display environment. Mouse-based interaction across multiple displays p...
Manuela Waldner, Dieter Schmalstieg
DGO
2006
148views Education» more  DGO 2006»
13 years 10 months ago
Automatically labeling hierarchical clusters
Government agencies must often quickly organize and analyze large amounts of textual information, for example comments received as part of notice and comment rulemaking. Hierarchi...
Pucktada Treeratpituk, Jamie Callan