Sciweavers

6149 search results - page 235 / 1230
» Revealing the programming process
Sort
View
DKE
2010
112views more  DKE 2010»
15 years 5 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar
150
Voted
ENTCS
2007
137views more  ENTCS 2007»
15 years 5 months ago
Formal Sequentialization of Distributed Systems via Program Rewriting
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
Miquel Bertran, Francesc-Xavier Babot, August Clim...
JVCA
2002
180views more  JVCA 2002»
15 years 4 months ago
A programming environment for behavioural animation
Behavioural models offer the ability to simulate autonomous agents like organisms and living beings. Psychological studies have showed that the human behaviour can be described by...
Frédéric Devillers, Stéphane ...
ICASSP
2011
IEEE
14 years 8 months ago
A new video similarity measure model based on video time density function and dynamic programming
In this paper, we propose a novel video similarity measure model using video time density function (VTDF) and dynamic programming. First, we employ VTDF to describe the density of...
Junfeng Jiang, Xiao-Ping Zhang, Alexander C. Loui

Book
270views
17 years 27 days ago
A Field Guide To Genetic Programming
"GP is a systematic, domain-independent method for getting computers to solve problems automatically starting from a high-level statement of what needs to be done. Using ideas...
Riccardo Poli, William B. Langdon, Nicholas Freit...