Sciweavers

1416 search results - page 275 / 284
» An Exact Interpretation of While
Sort
View
SIAMCOMP
2008
72views more  SIAMCOMP 2008»
13 years 7 months ago
Plottable Real Number Functions and the Computable Graph Theorem
The Graph Theorem of classical recursion theory states that a total function on the natural numbers is computable, if and only if its graph is recursive. It is known that this res...
Vasco Brattka
SIGIR
2008
ACM
13 years 7 months ago
Crosslingual location search
Address geocoding, the process of finding the map location for a structured postal address, is a relatively well-studied problem. In this paper we consider the more general proble...
Tanuja Joshi, Joseph Joy, Tobias Kellner, Udayan K...
SIGPLAN
2008
13 years 7 months ago
Some thoughts on teaching programming and programming languages
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
John C. Reynolds
TCBB
2008
126views more  TCBB 2008»
13 years 7 months ago
Graphical Models of Residue Coupling in Protein Families
Abstract-- Many statistical measures and algorithmic techniques have been proposed for studying residue coupling in protein families. Generally speaking, two residue positions are ...
John Thomas, Naren Ramakrishnan, Chris Bailey-Kell...
TOH
2008
118views more  TOH 2008»
13 years 7 months ago
Using Haptics to Convey Cause-and-Effect Relations in Climate Visualization
We investigate the potential role of haptics in augmenting the visualization of climate data. In existing approaches to climate visualization, different dimensions of climate data...
Nesra Yannier, Cagatay Basdogan, Serdar Tasiran, O...