Sciweavers

1733 search results - page 184 / 347
» On the naturalness of software
Sort
View
DBPL
2007
Springer
103views Database» more  DBPL 2007»
15 years 10 months ago
Datalog Programs over Infinite Databases, Revisited
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
Sara Cohen, Joseph Gil, Evelina Zarivach
IUI
2006
ACM
16 years 15 days ago
Improving question-answering with linking dialogues
Question-answering dialogue systems have found many applications in interactive learning environments. This paper is concerned with one such application for Army leadership traini...
Sudeep Gandhe, Andrew S. Gordon, David R. Traum
EMSOFT
2003
Springer
15 years 11 months ago
Generating Heap-Bounded Programs in a Functional Setting
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
Walid Taha, Stephan Ellner, Hongwei Xi
IUI
2010
ACM
15 years 8 months ago
Finding your way in a multi-dimensional semantic space with luminoso
We present Luminoso, a tool that helps researchers to visualize and understand a dimensionality-reduced semantic space by exploring it interactively. It also streamlines the proce...
Robert Speer, Catherine Havasi, K. Nichole Treadwa...
PAMI
2012
13 years 9 months ago
Color Constancy with Spatio-Spectral Statistics
—We introduce an efficient maximum likelihood approach for one part of the color constancy problem: removing from an image the color cast caused by the spectral distribution of ...
Ayan Chakrabarti, Keigo Hirakawa, Todd Zickler