Sciweavers

5401 search results - page 435 / 1081
» Using Versions in GIS
Sort
View
IWPC
2010
IEEE
15 years 5 months ago
CheckDep: A Tool for Tracking Software Dependencies
Many software developers use a syntactical ‘diff’ in order to perform a quick review before committing changes to the repository. Others are notified of the change by email (...
Dirk Beyer, Ashgan Fararooy
ACL
2010
15 years 4 months ago
A Probabilistic Generative Model for an Intermediate Constituency-Dependency Representation
We present a probabilistic model extension to the Tesni`ere Dependency Structure (TDS) framework formulated in (Sangati and Mazza, 2009). This representation incorporates aspects ...
Federico Sangati
CP
2010
Springer
15 years 4 months ago
Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost ...
David Allouche, Simon de Givry, Thomas Schiex
ESWS
2009
Springer
15 years 4 months ago
Towards an Agent Based Approach for Verification of OWL-S Process Models
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Alessio Lomuscio, Monika Solanki

Book
9504views
17 years 4 months ago
The OpenGL Programming Guide - The Redbook
"The OpenGL Programming Guide, Fifth Edition, provides definitive and comprehensive information on OpenGL and the OpenGL Utility Library. The previous edition covered OpenGL t...
Dave Shreiner, Mason Woo, Jackie Neider, Tom Davis