Sciweavers

4743 search results - page 859 / 949
» The PlusCal Algorithm Language
Sort
View
SAC
2010
ACM
14 years 3 months ago
Inductive reasoning and semantic web search
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
Claudia d'Amato, Floriana Esposito, Nicola Fanizzi...
CC
2010
Springer
117views System Software» more  CC 2010»
14 years 3 months ago
Punctual Coalescing
Compilers use register coalescing to avoid generating code for copy instructions. For architectures with register aliasing such as x86, Smith, Ramsey, and Holloway (2004) presented...
Fernando Magno Quintão Pereira, Jens Palsbe...
ISBI
2009
IEEE
14 years 3 months ago
A New Interactive Method for Coronary Arteries Segmentation Based on Tubular Anisotropy
In this paper we present a new interactive method for tubular structure extraction. The main application and motivation for this work is vessel tracking in 3D medical images. The ...
Fethallah Benmansour, Laurent D. Cohen
CP
2009
Springer
14 years 3 months ago
Reasoning about Optimal Collections of Solutions
The problem of finding a collection of solutions to a combinatorial problem that is optimal in terms of an inter-solution objective function exists in many application settings. F...
Tarik Hadzic, Alan Holland, Barry O'Sullivan
GIS
2009
ACM
14 years 3 months ago
A salience-based approach for the modeling of landscape descriptions
While conventional GIS maps have long been a privileged way for the integration and diffusion of geographical information, novel forms of representation and description of urban ...
Jean-Marie Le Yaouanc, Eric Saux, Christophe Clara...