Sciweavers

759 search results - page 64 / 152
» A Perspective on Knowledge Compilation
Sort
View
PPDP
2010
Springer
14 years 8 months ago
Functional derivation of a virtual machine for delimited continuations
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
Kenichi Asai, Arisa Kitani
CHI
2003
ACM
15 years 10 months ago
An hour in the life: towards requirements for modelling multiple task work
It is accepted that changes in technology, work practices and the general socio-economic environment affect the way we plan and perform tasks. Support, opportunity and pressure fo...
Peter J. Wild, Peter Johnson, Hilary Johnson
SEMWEB
2005
Springer
15 years 3 months ago
Ontology Learning and Reasoning - Dealing with Uncertainty and Inconsistency
Ontology Learning from text aims at generating domain ontologies from textual resources by applying natural language processing and machine learning techniques. It is inherent in t...
Peter Haase, Johanna Völker
METRICS
2003
IEEE
15 years 3 months ago
Metrology, Measurement and Metrics in Software Engineering
Up until recently software 'metrics' have been most often proposed as the quantitative tools of choice in software engineering, and the analysis of these had been most o...
Alain Abran, Asma Sellami, Witold Suryn
ACMICEC
2007
ACM
102views ECommerce» more  ACMICEC 2007»
15 years 1 months ago
Learning to trade with insider information
This paper introduces algorithms for learning how to trade using insider (superior) information in Kyle's model of financial markets. Prior results in finance theory relied o...
Sanmay Das