2335 search results - page 338 / 467 » Functional Differentiation of Computer Programs |
125
click to vote
CCE
2005
15 years 2 months ago
2005
Phenotype phase plane analysis is a linear optimization procedure which can be used to study the value of the objective function (a desired phenotype) as two variables (external s...
145
Voted
ICDAR
2009
IEEE
15 years 8 days ago
2009
IEEE
MATLAB provides a powerful environment for rapid prototyping of research methods and techniques. Across the wide range of on-line pen computing applications there exists a series ...
148
Voted
FOSSACS
2011
Springer
14 years 6 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
178
Voted
ICDE
2012
IEEE
13 years 5 months ago
2012
IEEE
—Motion sensing input devices like Microsoft’s Kinect offer an alternative to traditional computer input devices like keyboards and mouses. Daily new applications using this in...
131
Voted
PODC
1999
ACM
15 years 6 months ago
1999
ACM
The dynamically configurable distributed object (DCDO) model helps enable object evolution and facilitate the development of distributed objects from multiple independent implemen...