Sciweavers

3796 search results - page 680 / 760
» Presentations by Programmers for Programmers
Sort
View
JSS
2008
94views more  JSS 2008»
13 years 8 months ago
Examining the significance of high-level programming features in source code author classification
The use of Source Code Author Profiles (SCAP) represents a new, highly accurate approach to source code authorship identification that is, unlike previous methods, language indepe...
Georgia Frantzeskou, Stephen G. MacDonell, Efstath...
JEI
2006
162views more  JEI 2006»
13 years 8 months ago
Markovian segmentation and parameter estimation on graphics hardware
In this paper, we show how Markovian strategies used to solve well-known segmentation problems such as motion estimation, motion detection, motion segmentation, stereovision, and c...
Pierre-Marc Jodoin, Max Mignotte
ENTCS
2007
101views more  ENTCS 2007»
13 years 8 months ago
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
David J. Pym, Chris M. N. Tofts
ENTCS
2007
113views more  ENTCS 2007»
13 years 8 months ago
The Interactive Curry Observation Debugger iCODE
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
Parissa H. Sadeghi, Frank Huch
KI
2006
Springer
13 years 8 months ago
GeTS - A Specification Language for Geo-Temporal Notions
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
Hans Jürgen Ohlbach