Sciweavers

2231 search results - page 90 / 447
» Alternation as a programming paradigm
Sort
View
FOIKS
2004
Springer
15 years 5 months ago
Implementing Ordered Choice Logic Programming using Answer Set Solvers
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
Marina De Vos
CHI
2007
ACM
16 years 7 days ago
Strategies for accelerating on-line learning of hotkeys
Hotkeys are extremely useful in leveraging expert performance, but learning them is a slow process. This paper investigates alternative menu designs that can motivate and help use...
Tovi Grossman, Pierre Dragicevic, Ravin Balakrishn...
NIPS
2004
15 years 1 months ago
Exponential Family Harmoniums with an Application to Information Retrieval
Directed graphical models with one layer of observed random variables and one or more layers of hidden random variables have been the dominant modelling paradigm in many research ...
Max Welling, Michal Rosen-Zvi, Geoffrey E. Hinton
ICDCS
1998
IEEE
15 years 4 months ago
LBF: A Performance Metric for Program Reorganization
We introduce a new performance metric, called Load Balancing Factor (LBF), to assist programmers with evaluating different tuning alternatives. The LBF metric differs from traditi...
Hyeonsang Eom, Jeffrey K. Hollingsworth
ESOP
2008
Springer
15 years 1 months ago
Practical Programming with Higher-Order Encodings and Dependent Types
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
Adam Poswolsky, Carsten Schürmann